3.2.10 Existential Types. . . . . . . . . . . . . . Non-Value Types. . . . . . . . . . . . . . . . . .
3.3.1 Method Types. . . . . . . . . . . . . . . . 3.3.2 Polymorphic Method Types. . . . . . . . 3.3.3 Type Constructors. . . . . . . . . . . . .
Base Types and Member Definitions. . . . . . . Relations between types. . . . . . . . . . . . . .
3.5.1 Type Equivalence. . . . . . . . . . . . . . 3.5.2 Conformance. . . . . . . . . . . . . . . . 3.5.3 Weak Conformance. . . . . . . . . . . . .
Volatile Types. . . . . . . . . . . . . . . . . . . .
Type Erasure. . . . . . . . . . . . . . . . . . . . .
asic Declarations and DefinitionsValue Declarations and Definitions. . . . . . . Variable Declarations and Definitions. . . . . . Type Declarations and Type Aliases. . . . . . . Type Parameters. . . . . . . . . . . . . . . . . . . Variance Annotations. . . . . . . . . . . . . . . . Function Declarations and Definitions. . . . .
4.6.1 By-Name Parameters. . . . . . . . . . . . 4.6.2 Repeated Parameters. . . . . . . . . . . . 4.6.3 Procedures. . . . . . . . . . . . . . . . . . 4.6.4 Method Return Type Inference. . . . . .
Import Clauses. . . . . . . . . . . . . . . . . . .
sses and ObjectsTemplates. . . . . . . . . . . . . . . . . . . . . .
5.1.1 Constructor Invocations. . . . . . . . . . 5.1.2 Class Linearization. . . . . . . . . . . . . 5.1.3 Class Members. . . . . . . . . . . . . . . 5.1.4 Overriding. . . . . . . . . . . . . . . . . . 5.1.5 Inheritance Closure. . . . . . . . . . . . 5.1.6 Early Definitions. . . . . . . . . . . . . .