pub(crate) fn thir_check_unsafety<'tcx>() -> DynamicQuery<'tcx, Storage<'tcx>>