DCA issue when traits are define in library and used in generic function

[esdrubal]

When traits are define in library and used in main.sw within a generic function we get a This declaration is never used for the trait implementation that is used.

main.sw

script;

dep traits;

use std::assert::assert;
use traits::*;

fn test_my_eq<T>(x: T, y: T) -> bool where T: MyEq {
  x.my_eq(y)
}

fn main() {
  assert(test_my_eq(42, 42));
}

traits.sw

library traits;

pub trait MyEq {
    fn my_eq(self, other: Self) -> bool;
}

impl MyEq for u64 {
    fn my_eq(self, other: Self) -> bool {
        self == other
    }
}

warning
      --> /home/iota/sway/test/src/e2e_vm_tests/test_programs/should_pass/language/trait_dep/src/traits.sw:3:11
       |
     1 | 
     2 | 
     3 | pub trait MyEq {
       |           ---- This trait is never implemented.
     4 |     fn my_eq(self, other: Self) -> bool;
     5 | }
       |
     ____

     warning
       --> /home/iota/sway/test/src/e2e_vm_tests/test_programs/should_pass/language/trait_dep/src/traits.sw:7:1
        |
      5 |   
      6 |   
      7 | / impl MyEq for u64 {
      8 | |     fn my_eq(self, other: Self) -> bool {
      9 | |         self == other
     10 | |     }
     11 | | }
        | |_- This declaration is never used.
        |
     ____