pub fn thir_check_unsafety(tcx: TyCtxt<'_>, def: LocalDefId)