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
}

Change History (0)

Note: See TracTickets for help on using tickets.