Note [Free tyvars on rule LHS]

GHC/Tc/Zonk/Type.hs:1711 compiler

Consider
  data T a = C

  foo :: T a -> Int
  foo C = 1

  {-# RULES "myrule"  foo C = 1 #

References 0

This Note does not link to any other.

Referenced by 7

GHC.Tc.Zonk.Type call site ×3
GHC.HsToCore call site
GHC.Tc.Gen.Sig call site
Multiplicity in deep subsumption GHC.Tc.Utils.Unify
Zonking the LHS of a RULE GHC.Tc.Zonk.Type