Permit ! to do the AnyObject downcast magic through one level of

optional type.

Swift SVN r15306
This commit is contained in:
John McCall
2014-03-20 23:58:14 +00:00
parent c07ebee7b1
commit 1ed9c46fda
4 changed files with 37 additions and 6 deletions

View File

@@ -1127,7 +1127,8 @@ namespace {
// is of class type.
Constraint::createConjunction(CS, downcastConstraints, locator)
};
CS.addConstraint(Constraint::createDisjunction(CS, constraints, locator));
CS.addConstraint(Constraint::createDisjunction(CS, constraints, locator,
RememberChoice));
// The result is of type T.
return valueTy;