diff --git a/naga/src/back/wgsl/writer.rs b/naga/src/back/wgsl/writer.rs
index ea96fcb6fa..30fb802ea8 100644
--- a/naga/src/back/wgsl/writer.rs
+++ b/naga/src/back/wgsl/writer.rs
@@ -429,28 +429,7 @@ impl<W: Write> Writer<W> {
 
         Ok(())
     }
-}
 
-struct WriterTypeContext<'m> {
-    module: &'m Module,
-    names: &'m crate::FastHashMap<NameKey, String>,
-}
-
-impl<W: Write> TypeContext<W> for WriterTypeContext<'_> {
-    fn lookup_type(&self, handle: Handle<crate::Type>) -> &crate::Type {
-        &self.module.types[handle]
-    }
-
-    fn type_name(&self, handle: Handle<crate::Type>) -> &str {
-        self.names[&NameKey::Type(handle)].as_str()
-    }
-
-    fn write_override(&self, _: Handle<crate::Override>, _: &mut W) -> core::fmt::Result {
-        unreachable!("overrides should be validated out");
-    }
-}
-
-impl<W: Write> Writer<W> {
     fn write_type(&mut self, module: &Module, ty: Handle<crate::Type>) -> BackendResult {
         // This actually can't be factored out into a nice constructor method,
         // because the borrow checker needs to be able to see that the borrows
@@ -1741,6 +1720,25 @@ impl<W: Write> Writer<W> {
     }
 }
 
+struct WriterTypeContext<'m> {
+    module: &'m Module,
+    names: &'m crate::FastHashMap<NameKey, String>,
+}
+
+impl<W: Write> TypeContext<W> for WriterTypeContext<'_> {
+    fn lookup_type(&self, handle: Handle<crate::Type>) -> &crate::Type {
+        &self.module.types[handle]
+    }
+
+    fn type_name(&self, handle: Handle<crate::Type>) -> &str {
+        self.names[&NameKey::Type(handle)].as_str()
+    }
+
+    fn write_override(&self, _: Handle<crate::Override>, _: &mut W) -> core::fmt::Result {
+        unreachable!("overrides should be validated out");
+    }
+}
+
 fn map_binding_to_attribute(binding: &crate::Binding) -> Vec<Attribute> {
     match *binding {
         crate::Binding::BuiltIn(built_in) => {