Opened 3 years ago
Last modified 3 years ago
#268 new defect
Downcasting against type parameter failed — at Initial Version
| Reported by: | f37yu | Owned by: | |
|---|---|---|---|
| Priority: | major | Component: | cfa-cc |
| Version: | 1.0 | Keywords: | |
| Cc: |
Description
Minimal reproduction:
forall (T) struct wrap {
T elem;
};
forall (T) void foo (wrap(T) x, T y) {
}
forall (T) void bar (T x, wrap(T) y) {
}
int main() {
wrap(int) w{10};
foo (w, 2.0); // error?
bar (2.0, w); // ok
}
Note:
See TracTickets
for help on using tickets.