ErrorCode[E0277] Type Does Not Implement Expected Trait

[MahadMuhammad]

Type Does Not Implement Expected Trait - the type [{integer}] cannot be indexed by u32

• Tested code from rustc E0277:

// here we declare the Foo trait with a bar method
trait Foo {
    fn bar(&self);
}

// we now declare a function which takes an object implementing the Foo trait
fn some_func<T: Foo>(foo: T) {
    foo.bar();
}

fn main() {
    // we now call the method with the i32 type, which doesn't implement
    // the Foo trait
    some_func(5i32); // error: the trait bound `i32 : Foo` is not satisfied
}

---

• Output:

mahad@linux:~/Desktop/mahad/mahad-testsuite$ ../gccrs-build/gcc/crab1 E0277.rs -frust-incomplete-and-experimental-compiler-do-not-use
E0277.rs:14:15: error: bounds not satisfied for i32 ‘Foo’ is not satisfied [E0277]
    7 | fn some_func<T: Foo>(foo: T) {
      |                 ~~~
......
   14 |     some_func(5i32); // error: the trait bound `i32 : Foo` is not satisfied
      |               ^~~~

Analyzing compilation unit

Time variable                                   usr           sys          wall           GGC
 TOTAL                              :   0.00          0.00          0.00          146k
Extra diagnostic checks enabled; compiler may run slowly.
Configure with --enable-checking=release to disable checks.

---

gcc/rust/ChangeLog:

* typecheck/rust-hir-type-check-expr.cc (TypeCheckExpr::visit): passed "E0277"
* typecheck/rust-tyty.cc (BaseType::bounds_compatible): passed "E0277"

Signed-off-by: Muhammad Mahad <mahadtxt@gmail.com>

[CohenArthur]

Looks good to me! Leaving it to @philberty to say if there are other places where that should be emitted :) Thank you @MahadMuhammad !

[philberty]

LGTM