Skip to content

Draft: Use Name instead of TyCoVar in ForAllCo

sheaf requested to merge sheaf/ghc:forallco into master

This is a first attempt at using Name instead of TyCoVar in the ForAllCo constructor of Coercion, as per #20785.

Merge request reports