ForceDegree
dotty.tools.dotc.typer.ForceDegree$
object ForceDegree
An enumeration controlling the degree of forcing in "is-dully-defined" checks.
Attributes
- Graph
- Supertypes
- Self type
- ForceDegree.type
An enumeration controlling the degree of forcing in "is-dully-defined" checks.