diff options
Diffstat (limited to 'tests/ui/print_type_sizes/uninhabited.rs')
-rw-r--r-- | tests/ui/print_type_sizes/uninhabited.rs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/ui/print_type_sizes/uninhabited.rs b/tests/ui/print_type_sizes/uninhabited.rs new file mode 100644 index 000000000..86fab7b50 --- /dev/null +++ b/tests/ui/print_type_sizes/uninhabited.rs @@ -0,0 +1,13 @@ +// compile-flags: -Z print-type-sizes --crate-type=lib +// build-pass +// ignore-pass +// ^-- needed because `--pass check` does not emit the output needed. +// FIXME: consider using an attribute instead of side-effects. + +#![feature(never_type)] + +pub fn test() { + let _x: Option<!> = None; + let _y: Result<u32, !> = Ok(42); + let _z: Result<!, !> = loop {}; +} |