We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 3323d61 commit 4436e94Copy full SHA for 4436e94
lib/AST/LifetimeDependence.cpp
@@ -1132,8 +1132,8 @@ class LifetimeDependenceChecker {
1132
// The 'newValue' dependence kind must match the getter's dependence kind
1133
// because generated the implementation '_modify' accessor composes the
1134
// getter's result with the setter's 'newValue'. In particular, if the
1135
- // result type is non-Escapable then the setter must not depend on
1136
- // 'newValue'.
+ // result type is Escapable then the getter does not have any lifetime
+ // dependency, so the setter cannot depend on 'newValue'.
1137
if (!paramTypeInContext->isEscapable()) {
1138
targetDeps = std::move(targetDeps)
1139
.add(newValIdx, LifetimeDependenceKind::Inherit);
0 commit comments