bug in function type parameter variance checking

[gavinking]

The typechecker accepts this:

shared Boolean isInsideInterval<out Value>
        ([Value, Value] interval)(Value x)
        given Value satisfies Comparable<Value> 
        => let ([a,b]=interval) a <= x <= b;

That's inconsistent, since Value occurs contravariantly in the return type.

[gavinking]

This is pretty harmless and fixing it is too much of a PITA to bother with it for 1.2. I have added a comment indicating where the fix should go.