fn suggest_constraining_param( tcx: TyCtxt<'_>, body_id: HirId, err: &mut DiagnosticBuilder<'_>, lhs_ty: Ty<'_>, rhs_ty: Ty<'_>, missing_trait: &str, p: ParamTy, set_output: bool)