@swift-main -Xfrontend -typecheck -Xfrontend -enable-experimental-structural-opaque-types protocol P {} extension Int: P {} let t: (Int, some P) = (0, 0) (edited)