rustc_
trait_
selection
1.83.0-nightly
(2bd1e894e 2024-09-26)
Module implied_
outlives_
bounds
Module Items
Structs
Functions
In rustc_
trait_
selection::
traits::
query::
type_
op
rustc_trait_selection
::
traits
::
query
::
type_op
Module
implied_outlives_bounds
Copy item path
source
Structs
§
Implied
Outlives
Bounds
Functions
§
compute_
implied_
outlives_
bounds_
compat_
inner
compute_
implied_
outlives_
bounds_
inner
implied_
bounds_
from_
components
🔒
When we have an implied bound that
T: 'a
, we can further break this down to determine what relationships would have to hold for
T: 'a
to hold. We get to assume that the caller has validated those relationships.