Function no_raw_ptr_check 

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

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