Function ref_send_check 

pub(crate) fn ref_send_check<'tcx>(
    tcx: TyCtxt<'tcx>,
    ty: Ty<'tcx>,
    impl_def_id: DefId,
    is_sync: bool,
) -> CheckResult

Type-level RefSend obligation check (no VM state required).