search

rust-lang / trait-system-refactor-initiative

The Rustc Trait System Refactor Initiative
21 stars 0 forks source link

opaque types + implied bounds ICE #107

Closed lcnr closed 5 months ago

lcnr commented 5 months ago

computing implied bounds with opaque types causes an ICE. It should not :3

fn foo<'a>() -> &'a impl Sized {
    &()
}
lcnr commented 5 months ago

fixed by https://github.com/rust-lang/rust/pull/124809