From 2268f301602ff319828e34dc4f3d04fdd3261649 Mon Sep 17 00:00:00 2001 From: lcnr Date: Thu, 29 Feb 2024 10:45:38 +0100 Subject: [PATCH] lazy type aliases also have explicit implied bounds --- src/traits/implied-bounds.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/traits/implied-bounds.md b/src/traits/implied-bounds.md index eb908e2ee..911553ad3 100644 --- a/src/traits/implied-bounds.md +++ b/src/traits/implied-bounds.md @@ -9,9 +9,9 @@ handled... well... implicitly. ## explicit implied bounds -The explicit implied bounds are computed in [`fn inferred_outlives_of`]. Only ADTs have -explicit implied bounds which are computed via a fixpoint algorithm in the -[`fn inferred_outlives_crate`] query. +The explicit implied bounds are computed in [`fn inferred_outlives_of`]. Only ADTs and +lazy type aliases have explicit implied bounds which are computed via a fixpoint algorithm +in the [`fn inferred_outlives_crate`] query. We use [`fn insert_required_predicates_to_be_wf`] on all fields of all ADTs in the crate. This function computes the outlives bounds for each component of the field using a