Skip to content

Enable ImpredicativeTypes internally when typechecking selector bindings

Ryan Scott requested to merge wip/T18005 into master

This is necessary for certain record selectors with higher-rank types, such as the examples in #18005 (closed). See Note [Impredicative record selectors] in TcTyDecls.

Fixes #18005 (closed).

Merge request reports