scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/TrackingTypeComparer/MatchResult

MatchResult

dotty.tools.dotc.core.TrackingTypeComparer.MatchResult
enum MatchResult extends Showable

Attributes

Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
trait Showable
class Object
trait Matchable
class Any
Show all

Members list

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 ReducedAndDisjoint extends MatchResult
case case Stuck extends MatchResult
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL