Skip to content

Commit 04d8736

Browse files
committed
Correct another typo in RFC 1214 that was overlooked
1 parent 8f4ca22 commit 04d8736

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

text/1214-projections-lifetimes-and-wf.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -449,7 +449,7 @@ or projections are involved:
449449
OutlivesFunction:
450450
∀i. R,r.. ⊢ Ti: 'a
451451
--------------------------------------------------
452-
R ⊢ for<r..> fn(T1..Tn) -> T0
452+
R ⊢ for<r..> fn(T1..Tn) -> T0: 'a
453453

454454
OutlivesFragment:
455455
∀i. R,r.. ⊢ Pi: 'a

0 commit comments

Comments
 (0)