Reflect failability of an initializer in the optionality of its result type.

Don't verify this for the Optional and ImplicitlyUnwrappedOptional types.


Swift SVN r21293
This commit is contained in:
Doug Gregor
2014-08-19 20:42:06 +00:00
parent c06e22d406
commit 42dc448e7e
9 changed files with 73 additions and 17 deletions

View File

@@ -3160,7 +3160,7 @@ retry:
auto func2 = cast<FunctionType>(desugar2);
assert(func1->getResult()->is<TypeVariableType>() &&
"the output of func1 is a free variable by construction");
"the output of funct1 is a free variable by construction");
// If this application is part of an operator, then we allow an implicit
// lvalue to be compatible with inout arguments. This is used by