CheckRealizable

dotty.tools.dotc.core.CheckRealizable
See theCheckRealizable companion object
class CheckRealizable(using x$1: Context)

Compute realizability status.

A type T is realizable iff it is inhabited by non-null values. This ensures that its type members have good bounds (in the sense from DOT papers). A type projection T#L is legal if T is realizable, and can be understood as Scala 2's v.L forSome { val v: T }.

In general, a realizable type can have multiple inhabitants, hence it need not be stable (in the sense of Type.isStable).

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

The realizability status of given type tp

The realizability status of given type tp

Attributes