test/631-checker-get-class/info.txt

Checker test to make sure we recognize the pattern:
if (foo.getClass() == Foo.class)

For doing better type propagation.