Some of the checking around the classes are elided...

# announcements

[jw]

Some of the checking around the classes are elided because the VM trusts itself to make them, but it definitely creates classes and they definitely get a reference to the enclosing instance (when capturing)