more tests

FuelLabs · Oct 24, 2024 · 0407765 · 0407765
1 parent 4c6ca5b
commit 0407765
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/...rc/e2e_vm_tests/test_programs/should_pass/language/generic_where_in_impl_self/src/main.sw b/...rc/e2e_vm_tests/test_programs/should_pass/language/generic_where_in_impl_self/src/main.sw
@@ -27,9 +27,27 @@ impl<K> CallTrait<K> where K: Trait {
     }
 }
 
+// https://github.com/FuelLabs/sway/issues/6382
+trait Devour<T> { fn eat(t: T); }
+struct Brain { }
+struct Zombie { }
+
+impl Devour<Brain> for Zombie {
+    fn eat(_b: Brain) { }
+}
+
+fn feed<T, U>(t: T) where U: Devour<T> {
+    U::eat(t);
+}
+
 fn main() -> bool {
     let _  = call_trait(1);
     let ct = CallTrait::<u64> {};
     assert(ct.call_trait(1) == 42);
+
+    // https://github.com/FuelLabs/sway/issues/6382
+    let b = Brain{};
+    feed::<Brain, Zombie>(b);
+
     true
 }