File: Issue457.java

package info (click to toggle)
checker-framework-java 3.2.0%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 23,104 kB
  • sloc: java: 145,916; xml: 839; sh: 518; makefile: 404; perl: 26
file content (14 lines) | stat: -rw-r--r-- 417 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
// See gist: https://gist.github.com/JonathanBurke/6c1c1c28161a451611ad
// for more information on what was going wrong here
class Issue457<T extends Number> {

    @SuppressWarnings("unused")
    public void f(T t) {
        final T obj = t;

        Float objFloat = (obj instanceof Float) ? (Float) obj : null;

        // An error will be emitted on this line before the fix for Issue457
        t = obj;
    }
}