You pretty much need lifetime tracking to make it foolproof. A quick dirty hack would be to have a static analyzer drop B from the symbol table after it sees s

You pretty much need lifetime tracking to make it foolproof. A quick dirty hack would be to have a static analyzer drop B from the symbol table after it sees std::move and give a warning, but that obviously wont catch other references to it, but maybe it will catch the low hanging fruit.