1 Checker test to make sure we recognize the pattern: 2 if (foo.getClass() == Foo.class) 3 4 For doing better type propagation. 5