WIP: Re-engineer the PKTI
This patch, which fixes #17323, re-engineers the Purely Kinded Type Invariant.
It is built on tip of wip/T17395
, which is a necessary pre-fix.
I'm putting it up for review.
This patch, which fixes #17323, re-engineers the Purely Kinded Type Invariant.
It is built on tip of wip/T17395
, which is a necessary pre-fix.
I'm putting it up for review.