search

ctolkmit / checker-framework

Automatically exported from code.google.com/p/checker-framework
0 stars 0 forks source link

Extends Typevar Error #393

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
abstract class TypeVarTaintCheck {

    void test() {
        wrap(new Object());
    }

    abstract <T, U extends T> void wrap(U u);
}

Please use labels and text to provide additional information.
This is fixed in the private typevariable-improvements repository.

Original issue reported on code.google.com by mcart...@cs.washington.edu on 26 Jan 2015 at 7:32

GoogleCodeExporter commented 9 years ago 
Also added testcase Issue393.java

Original comment by mcart...@cs.washington.edu on 26 Jan 2015 at 7:33

GoogleCodeExporter commented 9 years ago

Original comment by Jonathan...@gmail.com on 8 Apr 2015 at 9:16

GoogleCodeExporter commented 9 years ago

Original comment by jtha...@cs.washington.edu on 18 Apr 2015 at 6:42