scala3-compiler-bootstrapped
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.typer/Inferencing/Decision

Decision

dotty.tools.dotc.typer.Inferencing.Decision
enum Decision

The instantiation decision for given poly param computed from the constraint.

Attributes

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

Members list

Type members

Enum entries

case Fail extends Decision
case Max extends Decision
case Min extends Decision
case Skip extends Decision
case ToMax extends Decision
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL