We have various compiler limits, such as for map element sizes, etc. (see #78355, and corresponding fix CL 760600) that are not enforced by types2 but by the compiler-original type checker (types) and which in turn requires that we exclude certain tests from the types2 (and go/types) test suite.
We should provide a mechanism to install compiler-specific limitations with types2 (and go/types) such that when present, these limits can be checked early where possible.
This will allow us to include the respective tests for types2 and go/types (these tests can run much faster because they don't invoke the compiler), and also avoid the need to add more code to the compiler-original type checker which we would like to trim (and eventually remove).
Reminder issue. Should be developed into a concrete proposal.
We have various compiler limits, such as for map element sizes, etc. (see #78355, and corresponding fix CL 760600) that are not enforced by types2 but by the compiler-original type checker (types) and which in turn requires that we exclude certain tests from the types2 (and go/types) test suite.
We should provide a mechanism to install compiler-specific limitations with types2 (and go/types) such that when present, these limits can be checked early where possible.
This will allow us to include the respective tests for types2 and go/types (these tests can run much faster because they don't invoke the compiler), and also avoid the need to add more code to the compiler-original type checker which we would like to trim (and eventually remove).
Reminder issue. Should be developed into a concrete proposal.