source: src/Tests/InferParam.c@ a772d8ab

int ?=?( int*, int );
float ?=?( float*, float );
double ?=?( double*, double );

forall( type T, type U | { U f(T); } ) U g(T);
float f( int );
double f( int );
void i( float );

void h() {
        int a;
        i( g( a ) );
}

context has_f_and_j( type T, type U ) {
        U f( T );
        U j( T, U );
};

float j( int, float );
forall( type T, type U | has_f_and_j( T, U ) ) U k( T );

void l() {
        int b;
        i( k( b ) );
}

// Local Variables: //
// tab-width: 4 //
// End: //