// can't use build-fail, because this also fails check-fail, but | |
// the ICE from #120787 only reproduces on build-fail. | |
//@ compile-flags: --emit=mir | |
#![feature(type_alias_impl_trait)] | |
struct Foo { | |
field: String, | |
} | |
type Tait = impl Sized; | |
fn ice_cold(beverage: Tait) { | |
let Foo { field } = beverage; | |
_ = field; | |
} | |
fn main() { | |
Ok(()) //~ ERROR mismatched types | |
} |