MatchResult

dotty.tools.dotc.core.TrackingTypeComparer$.MatchResult

Attributes

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

Members list

Concise view

Type members

Enum entries

case case Disjoint extends MatchResult
final case class NoInstance(fails: List[(Name, TypeBounds)])
final case class Reduced(tp: Type)
case case Stuck extends MatchResult