// TARGET_CLASS: X

// INFO: {"checked": "true"}
interface X : Z

// INFO: {"checked": "false"}
interface Y

// INFO: {"checked": "true"}
interface Z

class B: Y