Unexpected errors while using From trait returning tuples.

[esdrubal]

script;

pub trait MyFrom<T> {
    fn from(b: T) -> Self;
}


pub trait MyInto<T> {
    fn into(self) -> T;
}


impl<T, U> MyInto<U> for T
where
    U: MyFrom<T>,
{
    fn into(self) -> U {
        U::from(self)
    }
}

impl MyFrom<u256> for (u64, u64, u64, u64) {
    fn from(val: u256) -> (u64, u64, u64, u64) {
        (0, 0, 0, 0)
    }
}

fn main() -> bool {
    let (_a, _b, _c, _d) = u256::min().into();

    true
}

error
            --> /home/marcos/Documents/dev/sway3/test/src/e2e_vm_tests/test_programs/should_pass/language/generic_trait_constraints/src/main.sw:67:40
             |
          65 | 
          66 | 
          67 |     let (_a, _b, _c, _d) = u256::min().into();
             |                                        ^^^^ Trait "MyFrom" is not implemented for type "U".
          68 | 
          69 |     true
             |
          ____

          error
            --> /home/marcos/Documents/dev/sway3/test/src/e2e_vm_tests/test_programs/should_pass/language/generic_trait_constraints/src/main.sw:32:9
             |
          30 | 
          31 | 
          32 | impl<T, U> MyInto<U> for T
             |         ^ Cannot infer type for type parameter "U". Insufficient type information provided. Try annotating its type.
          33 | where
          34 |     U: MyFrom<T>,
             |
          ____

          error
            --> /home/marcos/Documents/dev/sway3/test/src/e2e_vm_tests/test_programs/should_pass/language/generic_trait_constraints/src/main.sw:67:5
             |
          65 | 
          66 | 
          67 |     let (_a, _b, _c, _d) = u256::min().into();
             |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Cannot infer type for type parameter "_". Insufficient type information provided. Try annotating its type.
          68 | 
          69 |     true
             |
          ____