// a test demonstrating what things we could allow with a smarter const qualification
static FOO: &&mut u32 = &&mut 42;
+//~^ WARN: skipping const checks
static BAR: &mut () = &mut ();
+//~^ WARN: skipping const checks
struct Foo<T>(T);
static BOO: &mut Foo<()> = &mut Foo(());
+//~^ WARN: skipping const checks
struct Meh {
x: &'static UnsafeCell<i32>,
static MEH: Meh = Meh {
x: &UnsafeCell::new(42),
+ //~^ WARN: skipping const checks
};
static OH_YES: &mut i32 = &mut 42;
+//~^ WARN: skipping const checks
fn main() {
unsafe {