From 4a842fedabb36e20d6805088646400cff6dede43 Mon Sep 17 00:00:00 2001 From: Quentin Santos Date: Wed, 29 Nov 2023 13:43:19 +0100 Subject: [PATCH] Fix typo --- src/subtyping.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/subtyping.md b/src/subtyping.md index 3a54812..b8d4683 100644 --- a/src/subtyping.md +++ b/src/subtyping.md @@ -274,7 +274,7 @@ To see why `fn(T) -> U` should be covariant over `U`, consider the following sig fn get_str() -> &'a str; ``` -This function claims to produce a `str` bound by some liftime `'a`. As such, it is perfectly valid to +This function claims to produce a `str` bound by some lifetime `'a`. As such, it is perfectly valid to provide a function with the following signature instead: