§A.6 Types

§ A.6.1 Type
...
LiftingType
AnchoredType
§ A.6.2 LiftingType
Type as Type
§ A.6.3 AnchoredType
Path.Type
§ A.6.4 Path
Identifier
Path.Identifier
Contextual constraints:
  1. Location
    A LiftingType may only occur in the parameter list of a method of a team class.
  2. Role in scope
    The right hand side type in a LiftingType must be a class directly contained in the enclosing team class (the class may be acquired by implicit inheritance (§1.3.1.(c))).
  3. Team path
    Note, that the syntax of §A.6.3/4 is deprecated in favor of §A.9.
    The path in an AnchoredType must refer to an instance of a team class. Each identifier in the path must be declared with the final modifier.