
// COMPILE-ONLY-TEST

// Leave unbound typevar S, should not cause problems
<T, S>
(T x) f (T y) "package" "0.0.0" "f";

main {
    int x = f(1);
    trace(x);
}


// THIS-TEST-SHOULD-CAUSE-WARNING
// COMPILE-ONLY-TEST

// Leave unbound typevar S
<T, S>
(T x) f (T y) "package" "0.0.0" "f";

main {
    int x = f(1);
    trace(x);
}

--- 
+++ 
@@ -1,8 +1,7 @@
 
-// THIS-TEST-SHOULD-CAUSE-WARNING
 // COMPILE-ONLY-TEST
 
-// Leave unbound typevar S
+// Leave unbound typevar S, should not cause problems
 <T, S>
 (T x) f (T y) "package" "0.0.0" "f";
 
Modify test so that it doesn't expect warning that isn't really necessary

git-svn-id: 47705994653588c662f4ea400dfe88107361c0e2@13643 dc4e9af1-7f46-4ead-bba6-71afc04862de
