Method operator=

smt/expr.cpp:144–148

}

void expr::operator=(expr &&other) {
  this->~expr();
  ptr = 0;
  swap(ptr, other.ptr);
}

void expr::operator=(const expr &other) {
  this->~expr();