Skip to main content

find_raw_ptr

rapx::verify::property_checker::auto_trait

Function find_raw_ptr 

Source 
fn find_raw_ptr<'tcx>(
    tcx: TyCtxt<'tcx>,
    ty: Ty<'tcx>,
    impl_def_id: DefId,
    is_sync: bool,
) -> Contains
Expand description

Structurally check whether ty (transitively) contains a raw pointer. A raw pointer may also appear as a pattern type (pattern_type!(*const T is ..)), so recurse into TyKind::Pat.