src/test/ui/typeck/issue-86721-return-expr-ice.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

// Regression test for the ICE described in #86721.

// revisions: rev1 rev2
#![cfg_attr(any(), rev1, rev2)]
#![crate_type="lib"]

#[cfg(any(rev1))]
trait T {
    const U: usize = return;
    //[rev1]~^ ERROR: return statement outside of function body [E0572]
}

#[cfg(any(rev2))]
trait T2 {
    fn foo(a: [(); return]);
    //[rev2]~^ ERROR: return statement outside of function body [E0572]
}