Add more sanity checks to uniffi_bindgen

uniffi_bindgen/src/interface/mod.rs

@@ -695,6 +695,13 @@ impl ComponentInterface {
                 }
             }
         }
+
+        for ty in self.iter_types() {
+            if let Type::Unresolved { name } = ty {
+                bail!("Type `{name}` should be resolved at this point");
+            }
+        }
+
         Ok(())
     }
 

uniffi_bindgen/src/interface/types/mod.rs

@@ -224,6 +224,11 @@ impl TypeUniverse {
     ///
     /// This will fail if you try to add a name for which an existing type definition exists.
     pub fn add_type_definition(&mut self, name: &str, type_: Type) -> Result<()> {
+        if let Type::Unresolved { name: name_ } = &type_ {
+            assert_eq!(name, name_);
+            bail!("attempted to add type definition of Unresolved for `{name}`");
+        }
+
         if resolve_builtin_type(name).is_some() {
             bail!(
                 "please don't shadow builtin types ({name}, {})",

uniffi_bindgen/src/macro_metadata/ci.rs

@@ -87,8 +87,8 @@ pub fn add_to_ci(
     }
 
     iface.resolve_types()?;
-    iface.check_consistency()?;
     iface.derive_ffi_funcs()?;
+    iface.check_consistency()?;
 
     Ok(())
 }