Adds test for implicit trait constraint.

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

@@ -0,0 +1,8 @@
+[[package]]
+name = "core"
+source = "path+from-root-3F7C73944D096B89"
+
+[[package]]
+name = "implicit_trait_constraint"
+source = "member"
+dependencies = ["core"]

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

@@ -0,0 +1,9 @@
+[project]
+authors = ["Fuel Labs <contact@fuel.sh>"]
+entry = "main.sw"
+implicit-std = false
+license = "Apache-2.0"
+name = "implicit_trait_constraint"
+
+[dependencies]
+core = { path = "../../../../../../sway-lib-core" }

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

@@ -0,0 +1,32 @@
+script;
+trait T2 {}
+trait T1: T2 {
+    fn new() -> Self;
+}
+
+struct S {}
+impl T2 for S {}
+impl T1 for S {
+    fn new() -> Self {
+        S {}
+    }
+}
+
+fn bar<T>() -> T
+where
+ T: T1,
+{
+    T::new()
+}
+
+fn foo<T>() -> T
+where
+ T: T2,
+{
+    bar()
+}
+
+fn main() -> u64 {
+    let _:S = foo();
+    42
+}

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

@@ -0,0 +1,4 @@
+category = "fail"
+
+# check: $()bar()
+# nextln: $()Trait "T1" is not implemented for type "T".