tests/ui/typeck/issue-104513-ice.rs


1
2
3
4
5
6

struct S;
fn f() {
    let _: S<impl Oops> = S; //~ ERROR cannot find trait `Oops` in this scope
    //~^ ERROR `impl Trait` is not allowed in the type of variable bindings
}
fn main() {}