Skip to content

Commit 1d1b8d1

Browse files
committed
[cxx-interop] Cache empty lifetime dependencies for methods
If we could not infer lifetime dependencies for a C++ method, let's cache the empty result. This prevents the compiler from trying to evaluate this request using Swift Sema's algorithm. This change is meant to fix the following issue: With AddressableParameters enabled, instantiations of `std::optional<T>` lack the conformance to `protocol CxxOptional`, despite the synthesized conformance being added correctly to each instantiation. This happens because when importing `operator*()` of each instantiation, ClangImporter spins up a LifetimeDependenceInfoRequest for the incompletely imported C++ type. In particular, the synthesized protocol conformances aren't yet added at that point, since the conformance logic relies on type's members already being imported. The LifetimeDependenceInfoRequest triggers a ConformanceTable to be built and cached for the instantiation. Later, by the time the conformance synthesis logic runs, the ConformanceTable for the instantiation had already been populated, and won't be updated to add the new conformance.
1 parent a3d30c9 commit 1d1b8d1

File tree

1 file changed

+3
-4
lines changed

1 file changed

+3
-4
lines changed

lib/ClangImporter/ImportDecl.cpp

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4326,11 +4326,10 @@ namespace {
43264326
Impl.SwiftContext.AllocateCopy(retType.getAsString())),
43274327
decl->getLocation());
43284328
}
4329-
} else {
4330-
Impl.SwiftContext.evaluator.cacheOutput(
4331-
LifetimeDependenceInfoRequest{result},
4332-
Impl.SwiftContext.AllocateCopy(lifetimeDependencies));
43334329
}
4330+
Impl.SwiftContext.evaluator.cacheOutput(
4331+
LifetimeDependenceInfoRequest{result},
4332+
Impl.SwiftContext.AllocateCopy(lifetimeDependencies));
43344333

43354334
for (auto [idx, param] : llvm::enumerate(decl->parameters())) {
43364335
if (isEscapable(param->getType()))

0 commit comments

Comments
 (0)