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

Merge pull request #24808 from xedin/cleaner-foreach

Browse Source 
[TypeChecker] Simplify for ... in ... type checking
This commit is contained in:
Pavel Yaskevich
2019-05-16 00:16:46 -07:00
committed by GitHub
parent 7a99da3a06 1cc6f774a1
commit 30be693913
9 changed files with 72 additions and 83 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/Sema/ConstraintSystem.cpp
View File

@@ -2200,6 +2200,8 @@ Type simplifyTypeImpl(ConstraintSystem &cs, Type type, Fn getFixedTypeFn) {
// FIXME: It's kind of weird in general that we have to look
// through lvalue, inout and IUO types here
Type lookupBaseType = newBase->getWithoutSpecifierType();
if (auto selfType = lookupBaseType->getAs<DynamicSelfType>())
lookupBaseType = selfType->getSelfType();
if (lookupBaseType->mayHaveMembers() ||
lookupBaseType->is<DynamicSelfType>()) {