It would be nice to have them auto-generated in the source, like a autofixable l...

		afiori 44 days ago \| parent \| context \| favorite \| on: Subtype Inference by Example It would be nice to have them auto-generated in the source, like a autofixable lint rule where the compiler add the annotations to your source code.