id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
235	Wrong disambiguation in the presence of extra type variables	mlbrooks	Michael Brooks <mlbrooks@…>	"{{{

    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
}}}
"	defect	closed	major	cfa-cc	1.0	fixed