ProblemInUnderlying

dotty.tools.dotc.core.CheckRealizable.ProblemInUnderlying
class ProblemInUnderlying(tp: Type, problem: Realizability)(using x$3: Context) extends Realizability

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Inherited methods

Attributes

Inherited from:
Realizability

Attributes

Inherited from:
Realizability

Inherited fields

val msg: String

Attributes

Inherited from:
Realizability