Implement the "Explicit specificity in type variable binders" proposal
The explicit specificity proposal (aka proposal 26) was accepted 8 months ago. This ticket is to track its implementation.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information