## §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.