Skip to content

WIP: Remove invariants from the type-checker (#15952)

Richard Eisenberg requested to merge wip/T15952 into master

This MR has been created as a conduit for comments on Simon's in-progress work.

Merge request reports