| Issue |
152518
|
| Summary |
[LifetimeSafety] Add gradual typing: support unknown loans
|
| Labels |
clang:temporal-safety
|
| Assignees |
|
| Reporter |
usx95
|
Opaque Loans: To support gradual rollout and handle functions without annotations, the analysis will use a fallback mechanism. When a function's lifetime behavior is unknown, the analysis will assign an OPAQUE loan to its output. This prevents false negatives while acknowledging uncertainty. Passing a variable with a known origin to an opaque function that takes a mutable reference will kill the known loans and add an OPAQUE one to its origin.
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
