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