scala3-compiler-bootstrapped/dotty.tools.dotc.core/UnificationDirection

UnificationDirection

enum UnificationDirection

When calling Constraint#addLess(p1, p2, ...), the caller might end up unifying one parameter with the other, this enum lets addLess know which direction the unification will take.

trait Enum
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Enum entries

case KeepParam1 extends UnificationDirection

p2 := p1, p1 left uninstantiated.

p2 := p1, p1 left uninstantiated.

case KeepParam2 extends UnificationDirection

p1 := p2, p2 left uninstantiated.

p1 := p2, p2 left uninstantiated.

case NoUnification extends UnificationDirection

Neither p1 nor p2 will be instantiated.

Neither p1 nor p2 will be instantiated.