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

CheckRealizable

dotty.tools.dotc.core.CheckRealizable
See theCheckRealizable companion class
object CheckRealizable

Realizability status

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

class HasProblemBase(base1: Type, base2: Type)(using x$3: Context) extends Realizability

Attributes

Supertypes
class Object
trait Matchable
class Any
class HasProblemBaseArg(typ: Type, argBounds: TypeBounds)(using x$3: Context) extends Realizability

Attributes

Supertypes
class Object
trait Matchable
class Any
class HasProblemBounds(name: Name, info: Type)(using x$3: Context) extends Realizability

Attributes

Supertypes
class Object
trait Matchable
class Any
class HasProblemField(fld: SingleDenotation, problem: Realizability)(using x$3: Context) extends Realizability

Attributes

Supertypes
class Object
trait Matchable
class Any
object NotConcrete extends Realizability

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
class NotFinal(sym: Symbol)(using x$2: Context) extends Realizability

Attributes

Supertypes
class Object
trait Matchable
class Any
class ProblemInUnderlying(tp: Type, problem: Realizability)(using x$3: Context) extends Realizability

Attributes

Supertypes
class Object
trait Matchable
class Any
sealed abstract class Realizability(val msg: String)

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object NotConcrete
class NotFinal
object Realizable
Show all
object Realizable extends Realizability

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Realizable.type

Value members

Concrete methods

Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL