class A implements Z { } // INFO: {"checked": "true"} interface J { }