pub fn check_unsafety(tcx: TyCtxt<'_>, def_id: LocalDefId)