import java.util.*; class Test { A f; A bar(Set s) { s.add(f); return f.foo(s); } } class A { T foo(Set t) { return null; } } class B extends A { }