Fix lifetime_dependence_borrow_fail diagnostic.

Report the correct variable name.
This commit is contained in:
Andrew Trick
2024-12-14 22:46:13 -08:00
parent 05c501a8f6
commit c4a2200669
2 changed files with 8 additions and 2 deletions

View File

@@ -597,6 +597,11 @@ struct VariableIntroducerUseDefWalker : LifetimeDependenceUseDefWalker {
if let inst = value.definingInstruction, VariableScopeInstruction(inst) != nil {
return introducer(value, owner)
}
// Finding a variable introducer requires following the mark_dependence forwarded value, not the base value like the
// default LifetimeDependenceUseDefWalker.
if value is MarkDependenceInst {
return walkUpDefault(forwarded: value, owner)
}
return walkUpDefault(dependent: value, owner: owner)
}