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
Members list
In this article