Make sure [t] and [this] will from now on always represent the same type.
TyVar Class | Nemerle.Compiler Namespace | TyVar.Unify Overload List