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: