You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: proposals/NNNN-lifetime-dependency.md
-8Lines changed: 0 additions & 8 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -786,14 +786,6 @@ This was changed after we realized that there was in practice almost always a si
786
786
787
787
## Future Directions
788
788
789
-
### Lifetime Dependencies for Escapable Types
790
-
791
-
This proposal has deliberately limited the application of lifetime dependencies to return types that are nonescapable.
792
-
This simplifies the model by identifying nonescapable types as exactly those types that can carry such dependencies.
793
-
It also helps simplify the enforcement of lifetime constraints by guaranteeing that constrained values cannot escape before being returned.
794
-
Most importantly, this restriction helps ensure that the new semantics (especially lifetime dependency inference) cannot accidentally break existing code.
795
-
We expect that in the future, additional investigation can reveal a way to relax this restriction.
796
-
797
789
### Lifetime Dependencies for Tuples
798
790
799
791
It should be possible to return a tuple where one part has a lifetime dependency.
0 commit comments