blob: 35ee36359b67c94c0cd6e27da52a3d3e00e9e4fe [file] [log] [blame]
//@ revisions: full min
#![cfg_attr(full, allow(incomplete_features))]
#![cfg_attr(full, feature(generic_const_exprs))]
use std::mem::MaybeUninit;
struct Bug<S> {
//[min]~^ ERROR parameter `S` is never used
A: [(); {
let x: S = MaybeUninit::uninit();
//[min]~^ ERROR generic parameters may not be used in const operations
//[full]~^^ ERROR mismatched types
let b = &*(&x as *const _ as *const S);
//[min]~^ ERROR generic parameters may not be used in const operations
0
}],
}
fn main() {}