about summary refs log tree commit diff
path: root/tests/ui/consts/std/conjure_zst.rs
blob: c04deae502b0fa00f004c17f72ba542ffdb70153 (plain)
1
2
3
4
5
6
7
8
9
10
#![feature(mem_conjure_zst)]

use std::{convert::Infallible, mem};

const INVALID: Infallible = unsafe { mem::conjure_zst() };
//~^ ERROR attempted to instantiate uninhabited type

const VALID: () = unsafe { mem::conjure_zst() };

fn main() {}