total mess

crates/analyzer/src/context.rs

@@ -365,6 +365,8 @@ impl Location {
             | FixedSize::Tuple(_)
             | FixedSize::String(_)
             | FixedSize::Struct(_) => Location::Memory,
+            // This feels wrong on so many levels
+            FixedSize::GenericPlaceholder => Location::Value,
         }
     }
 }

crates/analyzer/src/namespace/items.rs

@@ -1125,6 +1125,10 @@ impl FunctionId {
         self.data(db).ast.kind.name.span
     }
 
+    pub fn is_generic(&self, db: &dyn AnalyzerDb) -> bool {
+        !self.data(db).ast.kind.generic_params.kind.is_empty()
+    }
+
     // This should probably be scrapped in favor of `parent(`
     pub fn class(&self, db: &dyn AnalyzerDb) -> Option<Class> {
         self.data(db).parent

crates/analyzer/src/namespace/types.rs

@@ -57,6 +57,8 @@ pub enum FixedSize {
     String(FeString),
     Contract(Contract),
     Struct(Struct),
+    // Indicating a value that isn't yet determined but will be replaced with a FixedSize after lowering
+    GenericPlaceholder,
 }
 
 #[derive(Copy, Clone, Debug, PartialEq, Eq, PartialOrd, Ord, Hash)]

crates/analyzer/src/traversal/types.rs

@@ -200,11 +200,13 @@ pub fn resolve_concrete_type_named_thing<T: std::fmt::Display>(
             },
             vec![],
         ))),
-        None => Err(TypeError::new(context.error(
-            "undefined type",
-            base_desc.span,
-            &format!("`{}` has not been defined", base_desc.kind),
-        ))),
+        None => {
+            return Err(TypeError::new(context.error(
+                "undefined type",
+                base_desc.span,
+                &format!("`{}` has not been defined", base_desc.kind),
+            )))
+        }
     }
 }