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