Resolve type path error

[MahadMuhammad]

I tried this code:

• You can view the same on compiler-explorer
• Code tested from E0038

#![allow(unused)]
fn main() {
trait Trait {
    fn foo(&self) -> Self where Self: Sized;
}

fn static_foo<T:Trait + ?Sized>(b: &T) {
}

fn dynamic_bar(a: &dyn Trait) {
    static_foo(a)
}
}

I expected to see this happen:

• Compiled Successfully, like rustc-1.49:

Instead, this happened: explanation

➜  gccrs-build gcc/crab1 -frust-incomplete-and-experimental-compiler-do-not-use ../mahad-testsuite/E0038.rs                                        
../mahad-testsuite/E0038.rs:4:39: error: failed to resolve TypePath: Sized in this scope
    4 |     fn foo(&self) -> Self where Self: Sized;
      |                                       ^~~~~
../mahad-testsuite/E0038.rs:7:26: error: failed to resolve TypePath: Sized in this scope
    7 | fn static_foo<T:Trait + ?Sized>(b: &T) {
      |                          ^~~~~

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.

Meta

• What version of Rust GCC were you using, git sha 5406b63.

[MahadMuhammad]

---

Same error from E0072:

• On godbolt

// https://doc.rust-lang.org/error_codes/E0072.html
#![allow(unused)]
fn main() {
struct ListNode {
    head: u8,
    tail: Option<ListNode>, // error: no indirection here so impossible to
                            //        compute the type's size
}
}

---

Also from this E0073

• No longer emited bu rustc, but emitted by gccrs
• Godbolt-link

#![allow(unused)]
fn main() {
struct Foo { x: Box<Foo> } // error
}

[philberty]

This is missing the sized trait definition in gccrs we don't compile libcore yet so the test case is missing:

#[lang = "sized"]
pub trait Sized {}

when this is added we still get an issue:

test.rs:13:16: error: expected ‘& <tyty::error>’ got ‘& dyn [Trait<Self>]’
   10 | fn static_foo<T: Trait + ?Sized>(b: &T) {}
      |                                  ~
......
   13 |     static_foo(a)
      |                ^
      ```