Error when a method has a bad type annotation
Better error message for super-make-object use