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

Assert if we attempt to bind a type involving ErrorType.

Browse Source
This commit is contained in:
Mark Lacey
2017-05-24 00:02:00 -07:00
committed by Robert Widmann
parent e3bb2bef64
commit e83131da30
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/Sema/ConstraintSystem.cpp
View File

@@ -128,6 +128,8 @@ bool ConstraintSystem::typeVarOccursInType(TypeVariableType *typeVar,
void ConstraintSystem::assignFixedType(TypeVariableType *typeVar, Type type, void ConstraintSystem::assignFixedType(TypeVariableType *typeVar, Type type,
bool updateState) { bool updateState) {
assert(!type->hasError() &&
"Should not be assigning a type involving ErrorType!");
typeVar->getImpl().assignFixedType(type, getSavedBindings()); typeVar->getImpl().assignFixedType(type, getSavedBindings());