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