Function param_bound_is_satisfied 

fn param_bound_is_satisfied(
    tcx: TyCtxt<'_>,
    impl_def_id: DefId,
    param_ty: ParamTy,
    is_sync: bool,
) -> bool

Whether a generic type parameter carries a Send/Sync bound on the impl, letting the checker treat it as satisfied instead of Unknown.