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

Some progress

Browse Source
This commit is contained in:
John Holdsworth
2019-04-12 12:31:22 +01:00
committed by Slava Pestov
parent 97f102c74b
commit 444027667c
2 changed files with 27 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
lib/Sema/ConstraintSystem.cpp
View File

@@ -1308,7 +1308,17 @@ ConstraintSystem::getTypeOfMemberReference(
if (auto dyn = dyn_cast<DynamicSelfType>(sub->getElementInterfaceType()
->getCanonicalType())) {
fprintf(stderr, "HEREE!!!!!!!!!!!!!!!! %d\n", isDynamicResult);
openedType = openedType->replaceCovariantResultType(baseObjTy, 2);
openedType = openedType->replaceCovariantResultType(baseObjTy/*not dyn*/, 2);
// openedType->dump();
// outerDC->dumpContext();
}
}
else if (auto *sub = dyn_cast<VarDecl>(value)) {
if (auto dyn = dyn_cast<DynamicSelfType>(sub->getInterfaceType()
->getCanonicalType())) {
fprintf(stderr, "HEREEE!!!!!!!!!!!!!!!!\n");
dyn.dump();
openedType = openedType->replaceCovariantResultType(baseObjTy/*not dyn*/, 1);
// openedType->dump();
// outerDC->dumpContext();
}
@@ -1365,6 +1375,7 @@ ConstraintSystem::getTypeOfMemberReference(
// For a static member referenced through a metatype or an instance
// member referenced through an instance, strip off the 'self'.
type = openedFnType->getResult();
// type->dump();
} else {
// For an unbound instance method reference, replace the 'Self'
// parameter with the base type.