check_safety

rapx::verify::helpers

Function check_safety 

Source 
pub(crate) fn check_safety(tcx: TyCtxt<'_>, def_id: DefId) -> Safety