// Test case for Issue 247: | |
// https://github.com/typetools/checker-framework/issues/247 | |
interface Foo {} | |
interface Bar {} | |
class Baz implements Foo, Bar {} | |
public class IntersectionTypes { | |
void foo() { | |
Baz baz = new Baz(); | |
call(baz); | |
} | |
<T extends Foo & Bar> void call(T p) {} | |
} |