1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#![feature(coroutines, stmt_expr_attributes)]
// `foo` attempts to dereference `""`, which results in an error being reported. Later, the
// coroutine transform for `foo` then produces a union which contains a `str` type - unions should
// not contain unsized types, but this is okay because an error has been reported already.
// When const propagation happens later in compilation, it attempts to compute the layout of the
// coroutine (as part of checking whether something can be const propagated) and in turn attempts
// to compute the layout of `str` in the context of a union - where this caused an ICE. This test
// makes sure that doesn't happen again.
fn foo() {
let _y = #[coroutine]
static || {
let x = &mut 0;
*{
yield;
x
} += match { *"" }.len() {
//~^ ERROR cannot move a value of type `str` [E0161]
//~^^ ERROR cannot move out of a shared reference [E0507]
_ => 0,
};
};
}
fn main() {
foo()
}
|
