averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

Ensure that we don't end up with interface types that involve type variables.

Browse Source 
Swift SVN r10757
This commit is contained in:
Doug Gregor
2013-12-03 22:14:21 +00:00
parent 498a2a96bb
commit 37a68b7f69
2 changed files with 13 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
lib/AST/Decl.cpp
View File

@@ -430,10 +430,21 @@ Type ValueDecl::getInterfaceType() const {
if (!hasType())
return Type();
InterfaceTy = getType();
// If the type involves a type variable, don't cache it.
auto type = getType();
if (type->hasTypeVariable())
return type;
InterfaceTy = type;
return InterfaceTy;
}
void ValueDecl::setInterfaceType(Type type) {
assert((type.isNull() || !type->hasTypeVariable()) &&
"Type variable in interface type");
InterfaceTy = type;
}
Type TypeDecl::getDeclaredType() const {
if (auto TAD = dyn_cast<TypeAliasDecl>(this))
return TAD->getAliasType();