§1.2.3.(b) Qualified role types

The name of a protected role class may never be used qualified, neither prefixed by its enclosing type nor parameterized by a variable as type anchor (cf. §1.2.2.(a)).