mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
Merge pull request #80498 from allevato/json-usr-fixes
[AST] More JSON AST dump improvements.
This commit is contained in:
Tony Allevato
GitHub
@@ -200,6 +200,33 @@ private:
|
||||
virtual void anchor() override {}
|
||||
};
|
||||
|
||||
/// Replaces any local archetypes in the given type with their equivalent
|
||||
/// existential upper bounds so that they can be passed to the AST mangler. This
|
||||
/// loses information but is probably sufficient for most questions about these
|
||||
/// types that consumers of the JSON AST would ask.
|
||||
Type replaceLocalArchetypesWithExistentials(Type type) {
|
||||
return type.transformRec([&](TypeBase *t) -> std::optional<Type> {
|
||||
if (auto LAT = dyn_cast<LocalArchetypeType>(t)) {
|
||||
return LAT->getExistentialType();
|
||||
}
|
||||
return std::nullopt;
|
||||
});
|
||||
}
|
||||
|
||||
/// Replaces any opaque type archetypes in the given type with their equivalent
|
||||
/// existential upper bounds. This is used when dumping the mapping of all
|
||||
/// opaque types in the source file so that their conformances can be more
|
||||
/// easily reasoned about without having to find the declaring opaque result
|
||||
/// type deeper in the AST.
|
||||
Type replaceOpaqueArchetypesWithExistentials(Type type) {
|
||||
return type.transformRec([&](TypeBase *t) -> std::optional<Type> {
|
||||
if (auto OT = dyn_cast<OpaqueTypeArchetypeType>(t)) {
|
||||
return OT->getExistentialType();
|
||||
}
|
||||
return std::nullopt;
|
||||
});
|
||||
}
|
||||
|
||||
/// Returns the USR of the given declaration. Gracefully returns an empty
|
||||
/// string if D is null or invalid.
|
||||
std::string declUSR(const Decl *D) {
|
||||
@@ -234,14 +261,10 @@ std::string typeUSR(Type type) {
|
||||
return "";
|
||||
|
||||
if (type->hasArchetype()) {
|
||||
// We can't generate USRs for types that contain archetypes. Replace them
|
||||
// with their interface types.
|
||||
type = type.transformRec([&](TypeBase *t) -> std::optional<Type> {
|
||||
if (auto AT = dyn_cast<ArchetypeType>(t)) {
|
||||
return AT->getInterfaceType();
|
||||
}
|
||||
return std::nullopt;
|
||||
});
|
||||
type = type->mapTypeOutOfContext();
|
||||
}
|
||||
if (type->hasLocalArchetype()) {
|
||||
type = replaceLocalArchetypesWithExistentials(type);
|
||||
}
|
||||
|
||||
std::string usr;
|
||||
@@ -628,6 +651,21 @@ static StringRef getDumpString(ExplicitSafety safety) {
|
||||
return "unsafe";
|
||||
}
|
||||
}
|
||||
static StringRef getDumpString(ConformanceEntryKind kind) {
|
||||
switch (kind) {
|
||||
case ConformanceEntryKind::Inherited:
|
||||
return "inherited";
|
||||
case ConformanceEntryKind::Explicit:
|
||||
return "explicit";
|
||||
case ConformanceEntryKind::PreMacroExpansion:
|
||||
return "pre_macro_expansion";
|
||||
case ConformanceEntryKind::Synthesized:
|
||||
return "synthesized";
|
||||
case ConformanceEntryKind::Implied:
|
||||
return "implied";
|
||||
}
|
||||
llvm_unreachable("unhandled ConformanceEntryKind");
|
||||
}
|
||||
static StringRef getDumpString(StringRef s) {
|
||||
return s;
|
||||
}
|
||||
@@ -1251,6 +1289,40 @@ namespace {
|
||||
void printRec(const ProtocolConformance *conformance,
|
||||
VisitedConformances &visited, Label label);
|
||||
|
||||
// Print a field that describes the actor isolation associated with an AST
|
||||
// node.
|
||||
void printIsolation(const ActorIsolation &isolation) {
|
||||
switch (isolation) {
|
||||
case ActorIsolation::Unspecified:
|
||||
case ActorIsolation::NonisolatedUnsafe:
|
||||
break;
|
||||
|
||||
case ActorIsolation::Nonisolated:
|
||||
printFlag(true, "nonisolated", CapturesColor);
|
||||
break;
|
||||
|
||||
case ActorIsolation::Erased:
|
||||
printFlag(true, "dynamically_isolated", CapturesColor);
|
||||
break;
|
||||
|
||||
case ActorIsolation::CallerIsolationInheriting:
|
||||
printFlag(true, "isolated_to_caller_isolation", CapturesColor);
|
||||
break;
|
||||
|
||||
case ActorIsolation::ActorInstance:
|
||||
printReferencedDeclWithContextField(isolation.getActorInstance(),
|
||||
Label::always("actor_isolated"),
|
||||
CapturesColor);
|
||||
break;
|
||||
|
||||
case ActorIsolation::GlobalActor:
|
||||
printTypeField(isolation.getGlobalActor(),
|
||||
Label::always("global_actor_isolated"), PrintOptions(),
|
||||
CapturesColor);
|
||||
break;
|
||||
}
|
||||
}
|
||||
|
||||
/// Print a requirement node.
|
||||
void visitRequirement(const Requirement &requirement, Label label) {
|
||||
printHead("requirement", ASTNodeColor, label);
|
||||
@@ -1262,13 +1334,19 @@ namespace {
|
||||
|
||||
printField(requirement.getKind(), Label::optional("kind"));
|
||||
|
||||
if (requirement.getKind() != RequirementKind::Layout
|
||||
&& requirement.getSecondType())
|
||||
printTypeField(requirement.getSecondType(),
|
||||
Label::optional("second_type"), opts);
|
||||
else if (requirement.getLayoutConstraint())
|
||||
switch (requirement.getKind()) {
|
||||
case RequirementKind::Layout:
|
||||
printFieldQuoted(requirement.getLayoutConstraint(),
|
||||
Label::optional("layout"));
|
||||
break;
|
||||
case RequirementKind::Conformance:
|
||||
printReferencedDeclField(requirement.getProtocolDecl(),
|
||||
Label::optional("protocol"));
|
||||
break;
|
||||
default:
|
||||
printTypeField(requirement.getSecondType(),
|
||||
Label::optional("second_type"), opts);
|
||||
}
|
||||
|
||||
printFoot();
|
||||
}
|
||||
@@ -1917,6 +1995,62 @@ namespace {
|
||||
}
|
||||
}
|
||||
|
||||
void printInheritance(const IterableDeclContext *DC) {
|
||||
if (!(Writer.isParsable() && isTypeChecked())) {
|
||||
// If the output is not parsable or we're not type-checked, just print
|
||||
// the inheritance list as written.
|
||||
switch (DC->getIterableContextKind()) {
|
||||
case IterableDeclContextKind::NominalTypeDecl:
|
||||
printInherited(cast<NominalTypeDecl>(DC)->getInherited());
|
||||
break;
|
||||
case IterableDeclContextKind::ExtensionDecl:
|
||||
printInherited(cast<ExtensionDecl>(DC)->getInherited());
|
||||
break;
|
||||
}
|
||||
return;
|
||||
}
|
||||
|
||||
// For parsable, type-checked output, print a more structured
|
||||
// representation of the data.
|
||||
printRecArbitrary(
|
||||
[&](Label label) {
|
||||
printHead("inheritance", FieldLabelColor, label);
|
||||
|
||||
SmallPtrSet<const ProtocolConformance *, 4> dumped;
|
||||
printList(
|
||||
DC->getLocalConformances(),
|
||||
[&](auto conformance, Label label) {
|
||||
printRec(conformance, dumped, label);
|
||||
},
|
||||
Label::always("conformances"));
|
||||
|
||||
if (auto CD = dyn_cast<ClassDecl>(DC); CD && CD->hasSuperclass()) {
|
||||
printTypeField(CD->getSuperclass(),
|
||||
Label::always("superclass_type"));
|
||||
}
|
||||
|
||||
if (auto ED = dyn_cast<EnumDecl>(DC); ED && ED->hasRawType()) {
|
||||
printTypeField(ED->getRawType(), Label::always("raw_type"));
|
||||
}
|
||||
|
||||
if (auto PD = dyn_cast<ProtocolDecl>(DC)) {
|
||||
printList(
|
||||
PD->getAllInheritedProtocols(),
|
||||
[&](auto inherited, Label label) {
|
||||
printReferencedDeclField(inherited, label);
|
||||
},
|
||||
Label::always("protocols"));
|
||||
if (PD->hasSuperclass()) {
|
||||
printReferencedDeclField(PD->getSuperclassDecl(),
|
||||
Label::always("superclass_decl_usr"));
|
||||
}
|
||||
}
|
||||
|
||||
printFoot();
|
||||
},
|
||||
Label::always("inherits"));
|
||||
}
|
||||
|
||||
void printInherited(InheritedTypes Inherited) {
|
||||
if (Writer.isParsable()) {
|
||||
printList(
|
||||
@@ -2252,13 +2386,13 @@ namespace {
|
||||
switch (IDC->getIterableContextKind()) {
|
||||
case IterableDeclContextKind::NominalTypeDecl: {
|
||||
const auto NTD = cast<NominalTypeDecl>(IDC);
|
||||
printInherited(NTD->getInherited());
|
||||
printInheritance(NTD);
|
||||
printWhereRequirements(NTD);
|
||||
break;
|
||||
}
|
||||
case IterableDeclContextKind::ExtensionDecl:
|
||||
const auto ED = cast<ExtensionDecl>(IDC);
|
||||
printInherited(ED->getInherited());
|
||||
printInheritance(ED);
|
||||
printWhereRequirements(ED);
|
||||
break;
|
||||
}
|
||||
@@ -2289,6 +2423,27 @@ namespace {
|
||||
printFoot();
|
||||
}
|
||||
|
||||
// Prints a mapping from the declared interface types of the opaque types to
|
||||
// their equivalent existential type. This loses some information, but it is
|
||||
// meant to make it easier to determine which protocols an opaque type
|
||||
// conforms to when such a type appears elsewhere in an expression dump,
|
||||
// farther away from where the opaque type is declared.
|
||||
void printOpaqueTypeMapping(ArrayRef<OpaqueTypeDecl *> opaqueDecls) {
|
||||
printRecArbitrary(
|
||||
[&](Label label) {
|
||||
printHead("opaque_to_existential_mapping", FieldLabelColor, label);
|
||||
for (const auto OTD : opaqueDecls) {
|
||||
Type interfaceType = OTD->getDeclaredInterfaceType();
|
||||
Type existentialType =
|
||||
replaceOpaqueArchetypesWithExistentials(interfaceType);
|
||||
printTypeField(existentialType,
|
||||
Label::always(typeUSR(interfaceType)));
|
||||
}
|
||||
printFoot();
|
||||
},
|
||||
Label::always("opaque_to_existential_mapping"));
|
||||
}
|
||||
|
||||
void visitSourceFile(const SourceFile &SF) {
|
||||
Writer.setMainBufferID(SF.getBufferID());
|
||||
|
||||
@@ -2357,6 +2512,15 @@ namespace {
|
||||
}
|
||||
},
|
||||
Label::optional("items"));
|
||||
|
||||
if (Writer.isParsable() && isTypeChecked()) {
|
||||
SmallVector<OpaqueTypeDecl *, 4> opaqueDecls;
|
||||
SF.getOpaqueReturnTypeDecls(opaqueDecls);
|
||||
if (!opaqueDecls.empty()) {
|
||||
printOpaqueTypeMapping(opaqueDecls);
|
||||
}
|
||||
}
|
||||
|
||||
printFoot();
|
||||
}
|
||||
|
||||
@@ -3941,36 +4105,7 @@ public:
|
||||
|
||||
printField(E->getRawDiscriminator(), Label::always("discriminator"),
|
||||
DiscriminatorColor);
|
||||
|
||||
switch (auto isolation = E->getActorIsolation()) {
|
||||
case ActorIsolation::Unspecified:
|
||||
case ActorIsolation::NonisolatedUnsafe:
|
||||
break;
|
||||
|
||||
case ActorIsolation::Nonisolated:
|
||||
printFlag(true, "nonisolated", CapturesColor);
|
||||
break;
|
||||
|
||||
case ActorIsolation::Erased:
|
||||
printFlag(true, "dynamically_isolated", CapturesColor);
|
||||
break;
|
||||
|
||||
case ActorIsolation::CallerIsolationInheriting:
|
||||
printFlag(true, "isolated_to_caller_isolation", CapturesColor);
|
||||
break;
|
||||
|
||||
case ActorIsolation::ActorInstance:
|
||||
printReferencedDeclWithContextField(isolation.getActorInstance(),
|
||||
Label::always("actor_isolated"),
|
||||
CapturesColor);
|
||||
break;
|
||||
|
||||
case ActorIsolation::GlobalActor:
|
||||
printTypeField(isolation.getGlobalActor(),
|
||||
Label::always("global_actor_isolated"), PrintOptions(),
|
||||
CapturesColor);
|
||||
break;
|
||||
}
|
||||
printIsolation(E->getActorIsolation());
|
||||
|
||||
if (auto captureInfo = E->getCachedCaptureInfo()) {
|
||||
printCaptureInfoField(captureInfo, Label::optional("captures"));
|
||||
@@ -5552,6 +5687,9 @@ public:
|
||||
printTypeField(conformance->getType(), Label::always("type"));
|
||||
printReferencedDeclField(conformance->getProtocol(),
|
||||
Label::always("protocol"));
|
||||
printField(conformance->getSourceKind(), Label::optional("source_kind"));
|
||||
printFlag(conformance->isRetroactive(), "retroactive");
|
||||
printIsolation(conformance->getIsolation());
|
||||
if (!Writer.isParsable())
|
||||
printFlag(!shouldPrintDetails, "<details printed above>");
|
||||
};
|
||||
@@ -5561,6 +5699,16 @@ public:
|
||||
auto normal = cast<NormalProtocolConformance>(conformance);
|
||||
|
||||
printCommon("normal_conformance");
|
||||
printFlag(normal->isPreconcurrency(), "preconcurrency");
|
||||
if (normal->isPreconcurrency() && normal->isComplete()) {
|
||||
printFlag(normal->isPreconcurrencyEffectful(),
|
||||
"effectful_preconcurrency");
|
||||
}
|
||||
printFlag(normal->isRetroactive(), "retroactive");
|
||||
printFlag(normal->isUnchecked(), "unchecked");
|
||||
if (normal->getExplicitSafety() != ExplicitSafety::Unspecified)
|
||||
printField(normal->getExplicitSafety(), Label::always("safety"));
|
||||
|
||||
if (!shouldPrintDetails)
|
||||
break;
|
||||
|
||||
@@ -5775,27 +5923,33 @@ public:
|
||||
|
||||
void PrintBase::printRec(SubstitutionMap map, VisitedConformances &visited,
|
||||
Label label) {
|
||||
printRecArbitrary([&](Label label) {
|
||||
PrintConformance(Writer)
|
||||
.visitSubstitutionMap(map, SubstitutionMap::DumpStyle::Full, visited,
|
||||
label);
|
||||
}, label);
|
||||
printRecArbitrary(
|
||||
[&](Label label) {
|
||||
PrintConformance(Writer, MemberLoading)
|
||||
.visitSubstitutionMap(map, SubstitutionMap::DumpStyle::Full,
|
||||
visited, label);
|
||||
},
|
||||
label);
|
||||
}
|
||||
|
||||
void PrintBase::printRec(const ProtocolConformanceRef &ref,
|
||||
VisitedConformances &visited, Label label) {
|
||||
printRecArbitrary([&](Label label) {
|
||||
PrintConformance(Writer)
|
||||
.visitProtocolConformanceRef(ref, visited, label);
|
||||
}, label);
|
||||
printRecArbitrary(
|
||||
[&](Label label) {
|
||||
PrintConformance(Writer, MemberLoading)
|
||||
.visitProtocolConformanceRef(ref, visited, label);
|
||||
},
|
||||
label);
|
||||
}
|
||||
|
||||
void PrintBase::printRec(const ProtocolConformance *conformance,
|
||||
VisitedConformances &visited, Label label) {
|
||||
printRecArbitrary([&](Label label) {
|
||||
PrintConformance(Writer)
|
||||
.visitProtocolConformance(conformance, visited, label);
|
||||
}, label);
|
||||
printRecArbitrary(
|
||||
[&](Label label) {
|
||||
PrintConformance(Writer, MemberLoading)
|
||||
.visitProtocolConformance(conformance, visited, label);
|
||||
},
|
||||
label);
|
||||
}
|
||||
|
||||
} // end anonymous namespace
|
||||
|
||||
@@ -263,6 +263,13 @@ func sb3() {
|
||||
}
|
||||
}
|
||||
|
||||
func nestedOpaques0() -> some BinaryInteger { 2 }
|
||||
func nestedOpaques1() -> some FixedWidthInteger & SignedInteger { 2 }
|
||||
func nestedOpaques2() -> (some BinaryInteger, some Sequence) { (2, []) }
|
||||
func nestedOpaques3() -> (some BinaryInteger, some Sequence<Double>) { (2, []) }
|
||||
func nestedOpaques4() -> (some BinaryInteger)? { Bool.random() ? 2 : nil }
|
||||
func nestedOpaques5() -> [some BinaryInteger] { [2] }
|
||||
|
||||
// Expressions
|
||||
|
||||
func zz1() throws {
|
||||
@@ -341,9 +348,8 @@ struct Pack<each T> {
|
||||
func f(_ t: repeat each T) {
|
||||
repeat g(each t)
|
||||
}
|
||||
func g<U>(_ t: U) {}
|
||||
}
|
||||
// FIXME: USR generation crashes if this is a member of Pack<each T> above!
|
||||
func g<U>(_ t: U) {}
|
||||
|
||||
func tuplify<each T>(_ value: repeat each T) -> (repeat each T) {
|
||||
return (repeat each value)
|
||||
@@ -353,6 +359,17 @@ func example<each T>(_ value: repeat each T) {
|
||||
repeat print(each abstractTuple)
|
||||
}
|
||||
|
||||
func anySeq<T>(_ type: T.Type = T.self) -> any Sequence<T> { [] }
|
||||
func anySeqUser() {
|
||||
let s = anySeq(Int.self)
|
||||
let iter = s.makeIterator()
|
||||
}
|
||||
func opaqueSeq<T>(_ type: T.Type = T.self) -> some Sequence<T> { [] }
|
||||
func opaqueSeqUser() {
|
||||
let s = opaqueSeq(Int.self)
|
||||
let iter = s.makeIterator()
|
||||
}
|
||||
|
||||
let x = 10
|
||||
func zz1b() {
|
||||
_ = type(of: x)
|
||||
|
||||
@@ -34,19 +34,19 @@ struct Basic: P1 {
|
||||
// Recursive conformances should have finite output.
|
||||
|
||||
// CHECK-LABEL: StructDecl name=Recur
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Copyable")
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Escapable")
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Copyable"{{.*}})
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Escapable"{{.*}})
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_type req="A" type="Recur")
|
||||
// CHECK-NEXT: (assoc_type req="B" type="Recur")
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.A" proto="P2"
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2" <details printed above>))
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2"{{.*}} <details printed above>))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.B" proto="P2"
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2" <details printed above>)))
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2"{{.*}} <details printed above>)))
|
||||
struct Recur: P2 {
|
||||
typealias A = Recur
|
||||
typealias B = Recur
|
||||
@@ -55,29 +55,29 @@ struct Recur: P2 {
|
||||
// The full information about a conformance doesn't need to be printed twice.
|
||||
|
||||
// CHECK-LABEL: StructDecl name=NonRecur
|
||||
// CHECK-NEXT: (builtin_conformance type="NonRecur" protocol="Copyable")
|
||||
// CHECK-NEXT: (builtin_conformance type="NonRecur" protocol="Escapable")
|
||||
// CHECK-NEXT: (builtin_conformance type="NonRecur" protocol="Copyable"{{.*}})
|
||||
// CHECK-NEXT: (builtin_conformance type="NonRecur" protocol="Escapable"{{.*}})
|
||||
// CHECK-NEXT: (normal_conformance type="NonRecur" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_type req="A" type="Recur")
|
||||
// CHECK-NEXT: (assoc_type req="B" type="Recur")
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="NonRecur" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="NonRecur" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="NonRecur" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="NonRecur" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.A" proto="P2"
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_type req="A" type="Recur")
|
||||
// CHECK-NEXT: (assoc_type req="B" type="Recur")
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.A" proto="P2"
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2" <details printed above>))
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2"{{.*}} <details printed above>))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.B" proto="P2"
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2" <details printed above>))))
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2"{{.*}} <details printed above>))))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.B" proto="P2"
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2" <details printed above>)))
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2"{{.*}} <details printed above>)))
|
||||
struct NonRecur: P2 {
|
||||
typealias A = Recur
|
||||
typealias B = Recur
|
||||
@@ -94,9 +94,9 @@ struct Generic<T> {}
|
||||
// CHECK-NEXT: (assoc_type req="A" type="T")
|
||||
// CHECK-NEXT: (value req="f()" witness="main.(file).Generic extension.f()@{{.*}}")
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Generic<T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Generic<T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Generic<T>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Generic<T>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.A" proto="Copyable"
|
||||
// CHECK-NEXT: (abstract_conformance type="T" protocol="Copyable"))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.A" proto="Escapable"
|
||||
@@ -119,9 +119,9 @@ class Super<T, U> {}
|
||||
// CHECK-NEXT: (assoc_type req="A" type="T")
|
||||
// CHECK-NEXT: (assoc_type req="B" type="T")
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Super<T, U>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Super<T, U>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Super<T, U>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Super<T, U>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.A" proto="P2"
|
||||
// CHECK-NEXT: (abstract_conformance type="T" protocol="P2"))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.B" proto="P2"
|
||||
@@ -135,8 +135,8 @@ extension Super: P2 where T: P2, U: P2 {
|
||||
|
||||
// Inherited/specialized conformances.
|
||||
// CHECK-LABEL: ClassDecl name=Sub
|
||||
// CHECK-NEXT: (builtin_conformance type="Sub" protocol="Copyable")
|
||||
// CHECK-NEXT: (builtin_conformance type="Sub" protocol="Escapable")
|
||||
// CHECK-NEXT: (builtin_conformance type="Sub" protocol="Copyable"{{.*}})
|
||||
// CHECK-NEXT: (builtin_conformance type="Sub" protocol="Escapable"{{.*}})
|
||||
// CHECK-NEXT: (inherited_conformance type="Sub" protocol="P2"
|
||||
// CHECK-NEXT: (specialized_conformance type="Super<NonRecur, Recur>" protocol="P2"
|
||||
// CHECK-NEXT: (substitution_map generic_signature=<T, U where T : P2, U : P2>
|
||||
@@ -149,33 +149,33 @@ extension Super: P2 where T: P2, U: P2 {
|
||||
// CHECK-NEXT: (assoc_type req="A" type="Recur")
|
||||
// CHECK-NEXT: (assoc_type req="B" type="Recur")
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="NonRecur" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="NonRecur" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="NonRecur" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="NonRecur" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.A" proto="P2"
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_type req="A" type="Recur")
|
||||
// CHECK-NEXT: (assoc_type req="B" type="Recur")
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Recur" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.A" proto="P2"
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2" <details printed above>))
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2"{{.*}} <details printed above>))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.B" proto="P2"
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2" <details printed above>))))
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2"{{.*}} <details printed above>))))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.B" proto="P2"
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2" <details printed above>))))
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2"{{.*}} <details printed above>))))
|
||||
// CHECK-NEXT: (conformance type="U"
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2" <details printed above>)))
|
||||
// CHECK-NEXT: (normal_conformance type="Recur" protocol="P2"{{.*}} <details printed above>)))
|
||||
// CHECK-NEXT: (<conditional requirements unable to be computed>)
|
||||
// CHECK-NEXT: (normal_conformance type="Super<T, U>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_type req="A" type="T")
|
||||
// CHECK-NEXT: (assoc_type req="B" type="T")
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Super<T, U>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Super<T, U>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Super<T, U>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Super<T, U>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.A" proto="P2"
|
||||
// CHECK-NEXT: (abstract_conformance type="T" protocol="P2"))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.B" proto="P2"
|
||||
@@ -188,44 +188,44 @@ class Sub: Super<NonRecur, Recur> {}
|
||||
// should work through SubstitutionMaps.
|
||||
|
||||
// CHECK-LABEL: StructDecl name=RecurGeneric
|
||||
// CHECK-NEXT: (builtin_conformance type="RecurGeneric<T>" protocol="Copyable")
|
||||
// CHECK-NEXT: (builtin_conformance type="RecurGeneric<T>" protocol="Escapable")
|
||||
// CHECK-NEXT: (builtin_conformance type="RecurGeneric<T>" protocol="Copyable"{{.*}})
|
||||
// CHECK-NEXT: (builtin_conformance type="RecurGeneric<T>" protocol="Escapable"{{.*}})
|
||||
// CHECK-NEXT: (normal_conformance type="RecurGeneric<T>" protocol="P3"
|
||||
// CHECK-NEXT: (assoc_type req="A" type="RecurGeneric<T>")
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="RecurGeneric<T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="RecurGeneric<T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="RecurGeneric<T>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="RecurGeneric<T>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.A" proto="P3"
|
||||
// CHECK-NEXT: (normal_conformance type="RecurGeneric<T>" protocol="P3" <details printed above>)))
|
||||
// CHECK-NEXT: (normal_conformance type="RecurGeneric<T>" protocol="P3"{{.*}} <details printed above>)))
|
||||
struct RecurGeneric<T: P3>: P3 {
|
||||
typealias A = RecurGeneric<T>
|
||||
}
|
||||
|
||||
// CHECK-LABEL: StructDecl name=Specialize
|
||||
// CHECK-NEXT: (builtin_conformance type="Specialize" protocol="Copyable")
|
||||
// CHECK-NEXT: (builtin_conformance type="Specialize" protocol="Escapable")
|
||||
// CHECK-NEXT: (builtin_conformance type="Specialize" protocol="Copyable"{{.*}})
|
||||
// CHECK-NEXT: (builtin_conformance type="Specialize" protocol="Escapable"{{.*}})
|
||||
// CHECK-NEXT: (normal_conformance type="Specialize" protocol="P3"
|
||||
// CHECK-NEXT: (assoc_type req="A" type="RecurGeneric<Specialize>")
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Specialize" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Specialize" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Specialize" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Specialize" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.A" proto="P3"
|
||||
// CHECK-NEXT: (specialized_conformance type="Specialize.A" protocol="P3"
|
||||
// CHECK-NEXT: (substitution_map generic_signature=<T where T : P3>
|
||||
// CHECK-NEXT: (substitution T ->
|
||||
// CHECK-NEXT: (struct_type decl="main.(file).Specialize@{{.*}}"))
|
||||
// CHECK-NEXT: (conformance type="T"
|
||||
// CHECK-NEXT: (normal_conformance type="Specialize" protocol="P3" <details printed above>)))
|
||||
// CHECK-NEXT: (normal_conformance type="Specialize" protocol="P3"{{.*}} <details printed above>)))
|
||||
// CHECK-NEXT: (normal_conformance type="RecurGeneric<T>" protocol="P3"
|
||||
// CHECK-NEXT: (assoc_type req="A" type="RecurGeneric<T>")
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="RecurGeneric<T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="RecurGeneric<T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="RecurGeneric<T>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="RecurGeneric<T>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self.A" proto="P3"
|
||||
// CHECK-NEXT: (normal_conformance type="RecurGeneric<T>" protocol="P3" <details printed above>))))))
|
||||
// CHECK-NEXT: (normal_conformance type="RecurGeneric<T>" protocol="P3"{{.*}} <details printed above>))))))
|
||||
struct Specialize: P3 {
|
||||
typealias A = RecurGeneric<Specialize>
|
||||
}
|
||||
|
||||
@@ -20,9 +20,9 @@ struct Free<T> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=Free
|
||||
// CHECK-NEXT: (normal_conformance type="Free<T>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Free<T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Free<T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Free<T>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Free<T>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (requirement "T" conforms_to "P1"))
|
||||
extension Free: P2 where T: P1 {}
|
||||
// expected-note@-1 {{requirement from conditional conformance of 'Free<U>' to 'P2'}}
|
||||
@@ -39,9 +39,9 @@ struct Constrained<T: P1> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=Constrained
|
||||
// CHECK-NEXT: (normal_conformance type="Constrained<T>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Constrained<T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Constrained<T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Constrained<T>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Constrained<T>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (requirement "T" conforms_to "P3"))
|
||||
extension Constrained: P2 where T: P3 {} // expected-note {{requirement from conditional conformance of 'Constrained<U>' to 'P2'}}
|
||||
func constrained_good<U: P1 & P3>(_: U) {
|
||||
@@ -56,9 +56,9 @@ struct RedundantSame<T: P1> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=RedundantSame
|
||||
// CHECK-NEXT: (normal_conformance type="RedundantSame<T>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundantSame<T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundantSame<T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundantSame<T>" protocol="Escapable")))
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundantSame<T>" protocol="Escapable"{{.*}})))
|
||||
extension RedundantSame: P2 where T: P1 {}
|
||||
|
||||
struct RedundantSuper<T: P4> {}
|
||||
@@ -66,9 +66,9 @@ struct RedundantSuper<T: P4> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=RedundantSuper
|
||||
// CHECK-NEXT: (normal_conformance type="RedundantSuper<T>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundantSuper<T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundantSuper<T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundantSuper<T>" protocol="Escapable")))
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundantSuper<T>" protocol="Escapable"{{.*}})))
|
||||
extension RedundantSuper: P2 where T: P1 {}
|
||||
|
||||
struct OverlappingSub<T: P1> {}
|
||||
@@ -76,9 +76,9 @@ struct OverlappingSub<T: P1> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=OverlappingSub
|
||||
// CHECK-NEXT: (normal_conformance type="OverlappingSub<T>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="OverlappingSub<T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="OverlappingSub<T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="OverlappingSub<T>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="OverlappingSub<T>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (requirement "T" conforms_to "P4"))
|
||||
extension OverlappingSub: P2 where T: P4 {} // expected-note {{requirement from conditional conformance of 'OverlappingSub<U>' to 'P2'}}
|
||||
func overlapping_sub_good<U: P4>(_: U) {
|
||||
@@ -94,9 +94,9 @@ struct SameType<T> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=SameType
|
||||
// CHECK-NEXT: (normal_conformance type="SameType<T>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="SameType<Int>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="SameType<Int>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="SameType<Int>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="SameType<Int>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (requirement "T" same_type "Int"))
|
||||
extension SameType: P2 where T == Int {}
|
||||
// expected-note@-1 {{requirement from conditional conformance of 'SameType<U>' to 'P2'}}
|
||||
@@ -115,9 +115,9 @@ struct SameTypeGeneric<T, U> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=SameTypeGeneric
|
||||
// CHECK-NEXT: (normal_conformance type="SameTypeGeneric<T, U>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="SameTypeGeneric<T, T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="SameTypeGeneric<T, T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="SameTypeGeneric<T, T>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="SameTypeGeneric<T, T>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (requirement "T" same_type "U"))
|
||||
extension SameTypeGeneric: P2 where T == U {}
|
||||
// expected-note@-1 {{requirement from conditional conformance of 'SameTypeGeneric<U, Int>' to 'P2'}}
|
||||
@@ -145,9 +145,9 @@ struct Infer<T, U> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=Infer
|
||||
// CHECK-NEXT: (normal_conformance type="Infer<T, U>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Infer<Constrained<U>, U>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Infer<Constrained<U>, U>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="Infer<Constrained<U>, U>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="Infer<Constrained<U>, U>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (requirement "T" same_type "Constrained<U>")
|
||||
// CHECK-NEXT: (requirement "U" conforms_to "P1"))
|
||||
extension Infer: P2 where T == Constrained<U> {}
|
||||
@@ -168,9 +168,9 @@ struct InferRedundant<T, U: P1> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=InferRedundant
|
||||
// CHECK-NEXT: (normal_conformance type="InferRedundant<T, U>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="InferRedundant<Constrained<U>, U>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="InferRedundant<Constrained<U>, U>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="InferRedundant<Constrained<U>, U>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="InferRedundant<Constrained<U>, U>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (requirement "T" same_type "Constrained<U>"))
|
||||
extension InferRedundant: P2 where T == Constrained<U> {}
|
||||
func infer_redundant_good<U: P1>(_: U) {
|
||||
@@ -193,9 +193,9 @@ struct ClassFree<T> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=ClassFree
|
||||
// CHECK-NEXT: (normal_conformance type="ClassFree<T>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="ClassFree<T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="ClassFree<T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="ClassFree<T>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="ClassFree<T>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (requirement "T" subclass_of "C1"))
|
||||
extension ClassFree: P2 where T: C1 {} // expected-note {{requirement from conditional conformance of 'ClassFree<U>' to 'P2'}}
|
||||
func class_free_good<U: C1>(_: U) {
|
||||
@@ -211,9 +211,9 @@ struct ClassMoreSpecific<T: C1> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=ClassMoreSpecific
|
||||
// CHECK-NEXT: (normal_conformance type="ClassMoreSpecific<T>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="ClassMoreSpecific<T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="ClassMoreSpecific<T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="ClassMoreSpecific<T>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="ClassMoreSpecific<T>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (requirement "T" subclass_of "C3"))
|
||||
extension ClassMoreSpecific: P2 where T: C3 {} // expected-note {{requirement from conditional conformance of 'ClassMoreSpecific<U>' to 'P2'}}
|
||||
func class_more_specific_good<U: C3>(_: U) {
|
||||
@@ -230,9 +230,9 @@ struct ClassLessSpecific<T: C3> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=ClassLessSpecific
|
||||
// CHECK-NEXT: (normal_conformance type="ClassLessSpecific<T>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="ClassLessSpecific<T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="ClassLessSpecific<T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="ClassLessSpecific<T>" protocol="Escapable")))
|
||||
// CHECK-NEXT: (builtin_conformance type="ClassLessSpecific<T>" protocol="Escapable"{{.*}})))
|
||||
extension ClassLessSpecific: P2 where T: C1 {}
|
||||
|
||||
|
||||
@@ -257,9 +257,9 @@ struct InheritEqual<T> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=InheritEqual
|
||||
// CHECK-NEXT: (normal_conformance type="InheritEqual<T>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="InheritEqual<T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="InheritEqual<T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="InheritEqual<T>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="InheritEqual<T>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (requirement "T" conforms_to "P1"))
|
||||
extension InheritEqual: P2 where T: P1 {} // expected-note {{requirement from conditional conformance of 'InheritEqual<U>' to 'P2'}}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=InheritEqual
|
||||
@@ -268,9 +268,9 @@ extension InheritEqual: P2 where T: P1 {} // expected-note {{requirement from co
|
||||
// CHECK-LABEL: (assoc_conformance type="Self" proto="P2"
|
||||
// CHECK-LABEL: (normal_conformance type="InheritEqual<T>" protocol="P2"
|
||||
// CHECK-LABEL: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-LABEL: (builtin_conformance type="InheritEqual<T>" protocol="Copyable"))
|
||||
// CHECK-LABEL: (builtin_conformance type="InheritEqual<T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-LABEL: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-LABEL: (builtin_conformance type="InheritEqual<T>" protocol="Escapable"))
|
||||
// CHECK-LABEL: (builtin_conformance type="InheritEqual<T>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-LABEL: (requirement "T" conforms_to "P1")))
|
||||
// CHECK-LABEL: (requirement "T" conforms_to "P1"))
|
||||
extension InheritEqual: P5 where T: P1 {} // expected-note {{requirement from conditional conformance of 'InheritEqual<U>' to 'P5'}}
|
||||
@@ -298,9 +298,9 @@ struct InheritMore<T> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=InheritMore
|
||||
// CHECK-NEXT: (normal_conformance type="InheritMore<T>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="InheritMore<T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="InheritMore<T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="InheritMore<T>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="InheritMore<T>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (requirement "T" conforms_to "P1"))
|
||||
extension InheritMore: P2 where T: P1 {} // expected-note {{requirement from conditional conformance of 'InheritMore<U>' to 'P2'}}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=InheritMore
|
||||
@@ -309,9 +309,9 @@ extension InheritMore: P2 where T: P1 {} // expected-note {{requirement from con
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="P2"
|
||||
// CHECK-NEXT: (normal_conformance type="InheritMore<T>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="InheritMore<T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="InheritMore<T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="InheritMore<T>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="InheritMore<T>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (requirement "T" conforms_to "P1")))
|
||||
// CHECK-NEXT: (requirement "T" conforms_to "P4"))
|
||||
extension InheritMore: P5 where T: P4 {} // expected-note 2 {{requirement from conditional conformance of 'InheritMore<U>' to 'P5'}}
|
||||
@@ -398,9 +398,9 @@ struct RedundancyOrderDependenceGood<T: P1, U> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=RedundancyOrderDependenceGood
|
||||
// CHECK-NEXT: (normal_conformance type="RedundancyOrderDependenceGood<T, U>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundancyOrderDependenceGood<T, T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundancyOrderDependenceGood<T, T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundancyOrderDependenceGood<T, T>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundancyOrderDependenceGood<T, T>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (requirement "T" same_type "U"))
|
||||
extension RedundancyOrderDependenceGood: P2 where U: P1, T == U {}
|
||||
|
||||
@@ -409,9 +409,9 @@ struct RedundancyOrderDependenceBad<T, U: P1> {}
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=RedundancyOrderDependenceBad
|
||||
// CHECK-NEXT: (normal_conformance type="RedundancyOrderDependenceBad<T, U>" protocol="P2"
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Copyable"
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundancyOrderDependenceBad<T, T>" protocol="Copyable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundancyOrderDependenceBad<T, T>" protocol="Copyable"{{.*}}))
|
||||
// CHECK-NEXT: (assoc_conformance type="Self" proto="Escapable"
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundancyOrderDependenceBad<T, T>" protocol="Escapable"))
|
||||
// CHECK-NEXT: (builtin_conformance type="RedundancyOrderDependenceBad<T, T>" protocol="Escapable"{{.*}}))
|
||||
// CHECK-NEXT: (requirement "T" conforms_to "P1")
|
||||
// CHECK-NEXT: (requirement "T" same_type "U"))
|
||||
extension RedundancyOrderDependenceBad: P2 where T: P1, T == U {}
|
||||
|
||||
@@ -20,7 +20,7 @@
|
||||
// CHECK-LABEL: .Outer.InnerStruct.init()@
|
||||
// CHECK: Generic signature: <A, C where A : Escapable, C : Escapable>
|
||||
|
||||
// CHECK: (builtin_conformance type="Outer<A>.InnerStruct<C>" protocol="Escapable")
|
||||
// CHECK: (builtin_conformance type="Outer<A>.InnerStruct<C>" protocol="Escapable"{{.*}})
|
||||
|
||||
// CHECK-LABEL: .Outer.InnerVariation1@
|
||||
// CHECK: Generic signature: <A, D where A : Escapable, D : Escapable>
|
||||
|
||||
@@ -197,13 +197,13 @@ extension Cond: Copyable where T: Copyable {}
|
||||
struct FullyGenericArg<T: ~Escapable & ~Copyable> {}
|
||||
|
||||
// CHECK-LABEL: StructDecl name=FullyGenericArg
|
||||
// CHECK-NEXT: (builtin_conformance type="FullyGenericArg<T>" protocol="Copyable")
|
||||
// CHECK-NEXT: (builtin_conformance type="FullyGenericArg<T>" protocol="Escapable")
|
||||
// CHECK-NEXT: (builtin_conformance type="FullyGenericArg<T>" protocol="Copyable"{{.*}})
|
||||
// CHECK-NEXT: (builtin_conformance type="FullyGenericArg<T>" protocol="Escapable"{{.*}})
|
||||
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=FullyGenericArg
|
||||
// CHECK: Generic signature: <T>
|
||||
// CHECK-NEXT: Canonical generic signature: <τ_0_0>
|
||||
|
||||
// CHECK-LABEL: ExtensionDecl line={{.*}} base=FullyGenericArg
|
||||
// CHECK-NEXT: (normal_conformance type="FullyGenericArg<T>" protocol="Empty")
|
||||
// CHECK-NEXT: (normal_conformance type="FullyGenericArg<T>" protocol="Empty"{{.*}})
|
||||
extension FullyGenericArg: Empty where T: ~Copyable, T: ~Escapable {}
|
||||
|
||||
@@ -68,7 +68,7 @@ public protocol ProtoUser {
|
||||
// CHECK-REMARK-REQUIREMENT: Conformances:
|
||||
// Skipping implicits.
|
||||
// CHECK-REMARK-REQUIREMENT: (specialized_conformance type="OneToAThousand.Impl" protocol="SimpleProto"
|
||||
// CHECK-REMARK-REQUIREMENT: (normal_conformance type="Counter<T>" protocol="SimpleProto" lazy))
|
||||
// CHECK-REMARK-REQUIREMENT: (normal_conformance type="Counter<T>" protocol="SimpleProto"{{.*}} lazy))
|
||||
associatedtype Impl
|
||||
#else
|
||||
associatedtype Impl: SimpleProto
|
||||
|
||||
Reference in New Issue
Block a user