pub fn check_safety(tcx: TyCtxt<'_>, def_id: DefId) -> Safety
Checks the safety of a function signature.