Adds test that covers #5162

test/src/e2e_vm_tests/test_programs/should_fail/generic_and_associated_type/Forc.lock

@@ -0,0 +1,3 @@
+[[package]]
+name = "generic_and_associated_type"
+source = "member"

test/src/e2e_vm_tests/test_programs/should_fail/generic_and_associated_type/Forc.toml

@@ -0,0 +1,6 @@
+[project]
+authors = ["Fuel Labs <[email protected]>"]
+license = "Apache-2.0"
+name = "generic_and_associated_type"
+entry = "main.sw"
+implicit-std = false

test/src/e2e_vm_tests/test_programs/should_fail/generic_and_associated_type/json_abi_oracle.json

@@ -0,0 +1 @@
+[]

test/src/e2e_vm_tests/test_programs/should_fail/generic_and_associated_type/src/main.sw

@@ -0,0 +1,15 @@
+script;
+
+trait TypeTrait {
+    type T;
+
+    fn method() -> Self::T;
+} {
+    fn method2<T>() -> T {
+        Self::method()
+    }
+}
+
+fn main() -> u32 {
+    1
+}

test/src/e2e_vm_tests/test_programs/should_fail/generic_and_associated_type/test.toml

@@ -0,0 +1,8 @@
+category = "fail"
+
+# check: $()Self::method()
+# nextln: $()Mismatched types.
+# nextln: $()expected: T
+# nextln: $()found:    trait type Self::T
+# nextln: $()help: Function return type does not match up with local type annotation.
+