#257 Destructor is parsed and (by some magic) already used