Details
-
Enhancement
-
Resolution: Unresolved
-
Major
-
None
-
6.2.0.CR3
-
None
-
None
Description
The following constraint
Person( this#Worker( wage > 1000 ) )
is admissible when Worker is a subtype of Person.
It should also be possible to use "#" when Worker is a donned trait.
