Function check_safety 

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