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

[CSGen] NFC: Remove obsolete ConstraintSystem::{get, set}FavoredType

Browse Source
This commit is contained in:
Pavel Yaskevich
2024-10-16 11:06:15 -07:00
parent 2fdd4b6c35
commit 8bd288447f
2 changed files with 0 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
include/swift/Sema/ConstraintSystem.h
View File

@@ -2211,10 +2211,6 @@ private:
llvm::SetVector<TypeVariableType *> TypeVariables; llvm::SetVector<TypeVariableType *> TypeVariables;
/// Maps expressions to types for choosing a favored overload
/// type in a disjunction constraint.
llvm::DenseMap<Expr *, TypeBase *> FavoredTypes;
/// Maps discovered closures to their types inferred /// Maps discovered closures to their types inferred
/// from declared parameters/result and body. /// from declared parameters/result and body.
/// ///
@@ -2955,15 +2951,6 @@ public:
return nullptr; return nullptr;
} }
TypeBase* getFavoredType(Expr *E) {
assert(E != nullptr);
return this->FavoredTypes[E];
}
void setFavoredType(Expr *E, TypeBase *T) {
assert(E != nullptr);
this->FavoredTypes[E] = T;
}
/// Set the type in our type map for the given node, and record the change /// Set the type in our type map for the given node, and record the change
/// in the trail. /// in the trail.
/// ///

10
lib/Sema/CSGen.cpp
View File

@@ -403,7 +403,6 @@ namespace {
Type fixedOutputType = Type fixedOutputType =
CS.getFixedTypeRecursive(outputTy, /*wantRValue=*/false); CS.getFixedTypeRecursive(outputTy, /*wantRValue=*/false);
if (!fixedOutputType->isTypeVariableOrMember()) { if (!fixedOutputType->isTypeVariableOrMember()) {
CS.setFavoredType(anchor, fixedOutputType.getPointer());
outputTy = fixedOutputType; outputTy = fixedOutputType;
} }
@@ -807,11 +806,6 @@ namespace {
return eltType; return eltType;
} }
} }
if (!knownType->hasPlaceholder()) {
// Set the favored type for this expression to the known type.
CS.setFavoredType(E, knownType.getPointer());
}
} }
} }
@@ -1290,9 +1284,6 @@ namespace {
CS.getASTContext()); CS.getASTContext());
} }
if (auto favoredTy = CS.getFavoredType(expr->getSubExpr())) {
CS.setFavoredType(expr, favoredTy);
}
return CS.getType(expr->getSubExpr()); return CS.getType(expr->getSubExpr());
} }
@@ -2567,7 +2558,6 @@ namespace {
Type fixedType = Type fixedType =
CS.getFixedTypeRecursive(resultType, /*wantRvalue=*/true); CS.getFixedTypeRecursive(resultType, /*wantRvalue=*/true);
if (!fixedType->isTypeVariableOrMember()) { if (!fixedType->isTypeVariableOrMember()) {
CS.setFavoredType(expr, fixedType.getPointer());
resultType = fixedType; resultType = fixedType;
} }