Opened 3 years ago
Closed 3 years ago
#235 closed defect (fixed)
Wrong disambiguation in the presence of extra type variables
Reported by: | mlbrooks | Owned by: | |
---|---|---|---|
Priority: | major | Component: | cfa-cc |
Version: | 1.0 | Keywords: | |
Cc: |
Description
forall( dtype T, dtype U ) struct map {}; forall( dtype T ) void f( T & ) { printf("f-generic\n"); } forall( dtype T ) void f( map(T, T) & ) { printf("f-specific\n"); } int main() { float one; map(float, float) two; f(one); f(two); }
Actual output:
f-generic f-generic
Expected output:
f-generic f-specific
Change History (1)
comment:1 Changed 3 years ago by
Owner: | set to Michael Brooks <mlbrooks@…> |
---|---|
Resolution: | → fixed |
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
In fcd0b9d: