Fix recursion limits with next solver

Author: nazar-pc

CHANGELOG.md

@@ -80,6 +80,7 @@ Bottom level categories:
 
 - Zero-initialize padding (if any) at the end of a buffer allocation. This was application-visible in rare cases on Vulkan when a shader read beyond the valid range of a vertex buffer. By @andyleiserson in [#9791](https://github.com/gfx-rs/wgpu/pull/9791).
 - Fix required immediate slots calculation and remove `naga::valid::FunctionInfo::immediate_slots_used`. By @beicause in [#9725](https://github.com/gfx-rs/wgpu/pull/9725).
+- Fix recursion limits with next solver. By @nazar-pc in [#9953](https://github.com/gfx-rs/wgpu/pull/9953)
 
 #### naga
 
@@ -1476,7 +1477,7 @@ By @wumpf in [#8282](https://github.com/gfx-rs/wgpu/pull/8282), [#8285](https://
 - naga now requires that no type be larger than 1 GB. This limit may be lowered in the future; feedback on an appropriate value for the limit is welcome. By @andyleiserson in [#7950](https://github.com/gfx-rs/wgpu/pull/7950).
 - If the shader source contains control characters, naga now replaces them with U+FFFD ("replacement character") in diagnostic output. By @andyleiserson in [#8049](https://github.com/gfx-rs/wgpu/pull/8049).
 - Add f16 IO polyfill on Vulkan backend to enable SHADER_F16 use without requiring `storageInputOutput16`. By @cryvosh in [#7884](https://github.com/gfx-rs/wgpu/pull/7884).
-- For custom Naga backend authors: `naga::proc::Namer` now accepts reserved keywords using two new dedicated types, `proc::{KeywordSet, CaseInsensitiveKeywordSet}`. By @kpreid in [#8136](https://github.com/gfx-rs/wgpu/pull/8136).
+- For custom Naga backend authors: `naga::proc::Namer` now accepts reserved keywords using two new dedicated types, `proc::{KeywordSet, CaseInsensitiveKeywordSet}`. By @kpreid in [#8136](https://github.com/gfx-rs/wgpu/pull/8136).
 - **BREAKING**: Previously the WGSL storage-texture format `rg11b10float` was incorrectly accepted and generated by naga, but now only accepts the the correct name `rg11b10ufloat` instead. By @ErikWDev in [#8219](https://github.com/gfx-rs/wgpu/pull/8219).
 - The [`source()`](https://doc.rust-lang.org/std/error/trait.Error.html#method.source) method of `ShaderError` no longer reports the error as its own source. By @andyleiserson in [#8258](https://github.com/gfx-rs/wgpu/pull/8258).
 - naga correctly ingests SPIR-V that use descriptor runtime indexing, which in turn is correctly converted into WGSLs binding array. By @hasenbanck in [8256](https://github.com/gfx-rs/wgpu/pull/8256).

wgpu-core/src/global.rs

@@ -40,6 +40,26 @@ pub struct Global {
     pub instance: Instance,
 }
 
+#[cfg(send_sync)]
+const _: () = {
+    // SAFETY: Bounds checked below
+    unsafe impl Send for Global {}
+    // SAFETY: Bounds checked below
+    unsafe impl Sync for Global {}
+
+    fn _check_bound<T: Send + Sync>(_: &T) {}
+    fn _validate_fields(global: &Global) {
+        let Global {
+            surfaces,
+            hub,
+            instance,
+        } = global;
+        _check_bound(surfaces);
+        _check_bound(hub);
+        _check_bound(instance);
+    }
+};
+
 impl Global {
     pub fn new(
         name: &str,
@@ -299,9 +319,3 @@ impl Drop for Global {
         resource_log!("Global::drop");
     }
 }
-
-#[cfg(send_sync)]
-fn _test_send_sync(global: &Global) {
-    fn test_internal<T: Send + Sync>(_: T) {}
-    test_internal(global)
-}

wgpu-core/src/lib.rs

@@ -7,8 +7,6 @@
 //!
 
 #![no_std]
-// `-Znext-solver` requires deeper recursion limits (at least for now) to prove Send/Sync
-#![recursion_limit = "256"]
 // When we have no backends, we end up with a lot of dead or otherwise unreachable code.
 #![cfg_attr(
     all(

wgpu/src/lib.rs

@@ -216,8 +216,6 @@
 //!
 
 #![no_std]
-// `-Znext-solver` requires deeper recursion limits (at least for now) to prove Send/Sync
-#![recursion_limit = "256"]
 #![cfg_attr(docsrs, feature(doc_cfg))]
 #![doc(html_logo_url = "https://raw.githubusercontent.com/gfx-rs/wgpu/trunk/logo.png")]
 #![warn(