Allow noinit on records and classes (but not di...
Adding some more noinit tests for records.
Adding a more complicated record example.
Changing the names for some of my noinit tests.
This test did not follow our specification for ...
Fix detection of missing return types to avoid ...
Add some returns [approved by Michael in chat]
Adding noinit to highlight and source-highlight.