Unable to find associated type in trait

[MahadMuhammad]

• You can view the same on compiler-explorer

---

I tried this modified code from rust-lang/rust/blob/master/tests/ui/anon-params/anon-params-denied-2018.rs)

Code

// { dg-additional-options "-frust-edition=2018" }
trait T {

    fn foo_with_qualified_path(<Bar as T>::Baz); // { dg-error "expecting .:. but .\\). found" ""  { target *-*-* } }

}

fn main() {}

I expected to see this happen:

gccrs should emit these error codes:

• Error code E0576 - An associated item wasn't found in the given type

• Error code E0412- A used type name is not in scope

• Error message emitted by rustc:

error[E0576]: cannot find associated type `Baz` in trait `T`
 --> <source>:4:44
  |
4 |     fn foo_with_qualified_path(<Bar as T>::Baz);
  |                                            ^^^ not found in `T`

error[E0412]: cannot find type `Bar` in this scope
 --> <source>:4:33
  |
4 |     fn foo_with_qualified_path(<Bar as T>::Baz);
  |                                 ^^^ not found in this scope

error: aborting due to 2 previous errors

Some errors have detailed explanations: E0412, E0576.
For more information about an error, try `rustc --explain E0412`.
Compiler returned: 1

---

Instead, this happened:

gccrs doesn't emit any error code.

<source>:4:47: error: expecting ':' but ')' found
    4 |     fn foo_with_qualified_path(<Bar as T>::Baz);
      |                                               ^
Compiler returned: 1

---

Meta

• What version of Rust GCC were you using, git sha 61bf444
• gccrs (Compiler-Explorer-Build-gcc-61bf44479706ff92dd66c4ce5abc97c4c7465b29-binutils-2.42) 14.0.1 20240309 (experimental)

---

[CohenArthur]

Closed in #3089