On 16 Jul 2012, at 11:58, Sergei Gorelkin wrote: > tests/tbf/tb0002.pp is intended to fail, but currently it fails because the VMT symbol (VMT_$P$PROGRAM_$$_TA) is unresolved while linking. Shouldn't compiler detect usage of typeof() on an object type without VMT and report error at compile stage instead? Yes, that would be better. Jonas