scala3-compiler-bootstrapped/dotty.tools.dotc.typer/ForceDegree

ForceDegree

object ForceDegree

An enumeration controlling the degree of forcing in "is-dully-defined" checks.

An enumeration controlling the degree of forcing in "is-dully-defined" checks.

class Object
trait Matchable
class Any

Type members

Classlikes

class Value(val appliesTo: TypeVar => Boolean, val ifBottom: IfBottom)

Value members

Concrete fields

val all: Value
val none: Value