This commit is contained in:
Santiago Pastorino 2022-08-04 12:48:20 -03:00
parent 065e497630
commit 4170d7390b
No known key found for this signature in database
GPG Key ID: 8131A24E0C79EFAF

View File

@ -1379,7 +1379,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
/// fn test<'a, T: Debug>(x: &'a T) -> TestReturn<'static, T, 'a>
/// ```
///
/// Note the subtely around type parameters! The new TAIT, `TestReturn`, inherits all the
/// Note the subtlety around type parameters! The new TAIT, `TestReturn`, inherits all the
/// type parameters from the function `test` (this is implemented in the query layer, they aren't
/// added explicitly in the HIR). But this includes all the lifetimes, and we only want to
/// capture the lifetimes that are referenced in the bounds. Therefore, we add *extra* lifetime parameters