path: root/test/files/run/t5418b.check

new Object().getClass()
TypeRef(ThisType(java.lang), java.lang.Class, List(TypeRef(NoPrefix, newTypeName("?0"), List())))