Opened 7 months ago
Last modified 7 months ago
#284 new defect
Cannot have multiple forward declarations of a polymorphic type
| Reported by: | mlbrooks | Owned by: | |
|---|---|---|---|
| Priority: | minor | Component: | cfa-cc |
| Version: | 1.0 | Keywords: | |
| Cc: |
Description
forall (T&) struct S; forall (T&) struct S;
Expected: Allowed
Actual: Compilation error on second declaration, "invalid type qualifier for forall"
forall (T&) struct S; forall (U&) struct S;
Expected: Allowed
Actual: Compilation error on second declaration, "invalid type qualifier for forall"
forall (T&) struct S;
forall (U&) struct S { U * x; };
Actual and Expected: Allowed
Note: See
TracTickets for help on using
tickets.
When fixed, update tests/errors/scope-type.cfa