super_predicates_are_unconditionally_const

rustc_trait_selection::traits::dyn_compatibility

Function super_predicates_are_unconditionally_const 

Source 
fn super_predicates_are_unconditionally_const(
    tcx: TyCtxt<'_>,
    trait_def_id: DefId,
) -> SmallVec<[Span; 1]>
Expand description

Checks for const Trait supertraits. We’re okay with [const] Trait, supertraits since for a non-const instantiation of that trait, the conditionally-const supertrait is also not required to be const.