/K.kt:20:26: warning: This call may have inconsistent results because the type of this argument, 'Foo', does not have a consistent identity.

/K.kt:20:31: warning: This call may have inconsistent results because the type of this argument, 'Foo', does not have a consistent identity.
