[E0271] Type mismatch between associated type trait.

[MahadMuhammad]

Mismatch types between associated traits - E0271

Added rich location and error code.

Running testcases:

• gcc/testsuite/rust/compile/issue-1725-2.rs

~/gccrs/gcc/testsuite/rust/compile/issue-1725-2.rs:28:9: error: type mismatch, expected ‘i32’ but got ‘f32’ [E0271]
   16 |     type Output = f32;
      |     ~~~~ 
......
   23 | pub fn foo<T: core::ops::Add<Output = i32>>(a: T) -> i32 {
      |               ~~~~
......
   28 |     foo(123f32);
      |         ^~~~~~
      |         expected i32, found f32
~/gccrs/gcc/testsuite/rust/compile/issue-1725-2.rs:28:9: error: bounds not satisfied for f32 ‘Add’ is not satisfied [E0277]
   23 | pub fn foo<T: core::ops::Add<Output = i32>>(a: T) -> i32 {
      |               ~~~~
......
   28 |     foo(123f32);
      |         ^~~~~~

---

gcc/rust/ChangeLog:

* typecheck/rust-tyty.cc (BaseType::satisfies_bound): Added errorcode and user-friendly error message.

gcc/testsuite/ChangeLog:

* rust/compile/issue-1725-2.rs: Updated dejagnu message.

[philberty]

LGTM

[CohenArthur]

These fixit messages are really amazing. That's really good work @MahadMuhammad, thank you so much

[philberty]

LGTM