fn suggest_restriction<'tcx>(
tcx: TyCtxt<'tcx>,
item_id: LocalDefId,
hir_generics: &Generics<'tcx>,
msg: &str,
err: &mut Diagnostic,
fn_sig: Option<&FnSig<'_>>,
projection: Option<&AliasTy<'_>>,
trait_pred: PolyTraitPredicate<'tcx>,
super_traits: Option<(&Ident, &GenericBounds<'_>)>
)
Expand description
Type parameter needs more bounds. The trivial case is T
where T: Bound
, but
it can also be an impl Trait
param that needs to be decomposed to a type
param for cleaner code.