scala3-compiler-bootstrapped/dotty.tools.dotc.core/CheckRealizable

CheckRealizable

object CheckRealizable

Realizability status

Realizability status

Companion
class
class Object
trait Matchable
class Any

Type members

Classlikes

class HasProblemBase(base1: Type, base2: Type, argStr: String)(using `x$4`: Context) extends Realizability
class HasProblemBaseArg(typ: Type, argBounds: TypeBounds)(using `x$3`: Context) extends Realizability
class HasProblemBounds(name: Name, info: Type)(using `x$3`: Context) extends Realizability
class HasProblemField(fld: SingleDenotation, problem: Realizability)(using `x$3`: Context) extends Realizability
object NotConcrete extends Realizability
class NotFinal(sym: Symbol)(using `x$2`: Context) extends Realizability
class ProblemInUnderlying(tp: Type, problem: Realizability)(using `x$3`: Context) extends Realizability
sealed abstract class Realizability(val msg: String)
object Realizable extends Realizability

Value members

Concrete methods