UnificationDirection

dotty.tools.dotc.core.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.

Attributes

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

Members list

Concise view

Type members

Enum entries

p2 := p1, p1 left uninstantiated.

p2 := p1, p1 left uninstantiated.

Attributes

p1 := p2, p2 left uninstantiated.

p1 := p2, p2 left uninstantiated.

Attributes

Neither p1 nor p2 will be instantiated.

Neither p1 nor p2 will be instantiated.

Attributes