scala.tools.nsc.symtab.Types
A log of type variable with their original constraints. Used in order to undo constraints in the case of isSubType/isSameType failure.
A log of type variable with their original constraints. Used in order to undo constraints in the case of isSubType/isSameType failure.