tests/ui/never_type/never-assign-wrong-type.rs


1
2
3
4
5
6
7
8

// Test that we can't use another type in place of !

#![feature(never_type)]
#![deny(warnings)]

fn main() {
    let x: ! = "hello"; //~ ERROR mismatched types
}