Fixed required trait constraint not being checked

sway-core/src/semantic_analysis/namespace/trait_map.rs

@@ -1390,34 +1390,6 @@ impl TraitMap {
     ) -> Result<(), ErrorEmitted> {
         let type_engine = engines.te();
 
-        // If the type is generic/placeholder, its definition needs to contains all
-        // constraints
-        match &*type_engine.get(type_id) {
-            TypeInfo::UnknownGeneric {
-                trait_constraints, ..
-            } => {
-                let all = constraints.iter().all(|required| {
-                    trait_constraints.iter().any(|constraint| {
-                        constraint.eq(required, &PartialEqWithEnginesContext::new(engines))
-                    })
-                });
-                if all {
-                    return Ok(());
-                }
-            }
-            TypeInfo::Placeholder(p) => {
-                let all = constraints.iter().all(|required| {
-                    p.trait_constraints.iter().any(|constraint| {
-                        constraint.eq(required, &PartialEqWithEnginesContext::new(engines))
-                    })
-                });
-                if all {
-                    return Ok(());
-                }
-            }
-            _ => {}
-        }
-
         let _decl_engine = engines.de();
         let unify_check = UnifyCheck::non_dynamic_equality(engines);
 

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

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

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

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

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

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

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

@@ -0,0 +1,21 @@
+script;
+
+trait T1 {}
+trait T2 {}
+struct S<T> where T: T1 {
+ x: T,
+}
+impl<T> S<T> where T: T1{
+ fn only_t1(self) {
+ Self::also_t2(self);
+ }
+ fn also_t2(self) where T: T2{
+ }
+}
+impl T1 for u8 {}
+impl T1 for u64 {}
+impl T2 for u64 {}
+fn main() {
+ let a = S::<u8>{x: 42};
+ a.only_t1(); //prints Hello but u8 doesn't implement T2
+}

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

@@ -0,0 +1,4 @@
+category = "fail"
+
+# check: $()Self::also_t2(self);
+# nextln: $()Trait "T2" is not implemented for type "T".