Improve typechecking of generics

Open apiology opened this issue 6 months ago • 2 comments

There are a lot of files changed here, but the vast majority are added specs and fixed annotations, most from the improvements in this PR.

This is a rewrite of the current 'can I use this type here' code. In particular, we now in strong mode validate the type parameters of variable assignment and parameters, with the following exceptions:

Info on each check:

Jul 18 '25 22:07 apiology