averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

[ConstraintSystem] Add requirement kind to conditional conformance requirement locator

Browse Source
This commit is contained in:
Pavel Yaskevich
2019-02-07 13:51:20 -08:00
parent 6754b86507
commit f2abfc547a
3 changed files with 31 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

39
lib/Sema/ConstraintLocator.cpp
View File

@@ -106,6 +106,25 @@ void ConstraintLocator::dump(SourceManager *sm, raw_ostream &out) {
}
}
auto dumpReqKind = [&out](RequirementKind kind) {
out << " (";
switch (kind) {
case RequirementKind::Conformance:
out << "conformance";
break;
case RequirementKind::Superclass:
out << "superclass";
break;
case RequirementKind::SameType:
out << "same-type";
break;
case RequirementKind::Layout:
out << "layout";
break;
}
out << ")";
};
for (auto elt : getPath()) {
out << " -> ";
switch (elt.getKind()) {
@@ -222,26 +241,12 @@ void ConstraintLocator::dump(SourceManager *sm, raw_ostream &out) {
case ConditionalRequirement:
out << "conditional requirement #" << llvm::utostr(elt.getValue());
dumpReqKind(static_cast<RequirementKind>(elt.getValue2()));
break;
case TypeParameterRequirement: {
out << "type parameter requirement #" << llvm::utostr(elt.getValue())
<< " (";
switch (static_cast<RequirementKind>(elt.getValue2())) {
case RequirementKind::Conformance:
out << "conformance";
break;
case RequirementKind::Superclass:
out << "superclass";
break;
case RequirementKind::SameType:
out << "same-type";
break;
case RequirementKind::Layout:
out << "layout";
break;
}
out << ")";
out << "type parameter requirement #" << llvm::utostr(elt.getValue());
dumpReqKind(static_cast<RequirementKind>(elt.getValue2()));
break;
}