diff --git a/src/test/compile-fail/call-fn-never-arg-wrong-type.rs b/src/test/compile-fail/call-fn-never-arg-wrong-type.rs new file mode 100644 index 00000000000..cf340989ab7 --- /dev/null +++ b/src/test/compile-fail/call-fn-never-arg-wrong-type.rs @@ -0,0 +1,20 @@ +// Copyright 2015 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +#![feature(never_type)] + +fn foo(x: !) -> ! { + x +} + +fn main() { + foo("wow"); //~ ERROR mismatched types +} + diff --git a/src/test/compile-fail/never-assign-dead-code.rs b/src/test/compile-fail/never-assign-dead-code.rs new file mode 100644 index 00000000000..647ee74ac56 --- /dev/null +++ b/src/test/compile-fail/never-assign-dead-code.rs @@ -0,0 +1,18 @@ +// Copyright 2015 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +#![feature(never_type)] +#![deny(unused, unreachable_code)] + +fn main() { + let x: ! = panic!("aah"); //~ ERROR unused + drop(x); //~ ERROR unreachable +} + diff --git a/src/test/compile-fail/never-assign-wrong-type.rs b/src/test/compile-fail/never-assign-wrong-type.rs new file mode 100644 index 00000000000..60184fd21b2 --- /dev/null +++ b/src/test/compile-fail/never-assign-wrong-type.rs @@ -0,0 +1,17 @@ +// Copyright 2015 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +#![feature(never_type)] + +fn main() { + let x: ! = "hello"; //~ ERROR mismatched types +} + + diff --git a/src/test/compile-fail/never-disabled.rs b/src/test/compile-fail/never-disabled.rs new file mode 100644 index 00000000000..00cb4f0b17a --- /dev/null +++ b/src/test/compile-fail/never-disabled.rs @@ -0,0 +1,26 @@ +// Copyright 2012 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +trait Foo { + type Wub; +} + +type Ma = (u32, !, i32); //~ ERROR type is experimental +type Meeshka = Vec; //~ ERROR type is experimental +type Mow = &fn(!) -> !; //~ ERROR type is experimental +type Skwoz = &mut !; //~ ERROR type is experimental + +impl Foo for Meeshka { + type Wub = !; //~ ERROR type is experimental +} + +fn main() { +} + diff --git a/src/test/compile-fail/never-fallback.rs b/src/test/compile-fail/never-fallback.rs new file mode 100644 index 00000000000..24547bd7c88 --- /dev/null +++ b/src/test/compile-fail/never-fallback.rs @@ -0,0 +1,37 @@ +// Copyright 2015 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +#![feature(never_type)] + +trait Balls: Sized { + fn smeg() -> Result; +} + +impl Balls for () { + fn smeg() -> Result<(), ()> { Ok(()) } +} + +struct Flah; + +impl Flah { + fn flah(&self) -> Result { + T::smeg() + } +} + +fn doit() -> Result<(), ()> { + let _ = try!(Flah.flah()); //~ ERROR the trait bound + Ok(()) +} + +fn main() { + let _ = doit(); +} + diff --git a/src/test/run-fail/call-fn-never-arg.rs b/src/test/run-fail/call-fn-never-arg.rs new file mode 100644 index 00000000000..b129f17a437 --- /dev/null +++ b/src/test/run-fail/call-fn-never-arg.rs @@ -0,0 +1,23 @@ +// Copyright 2012 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +// error-pattern:wowzers! + +#![feature(never_type)] +#![allow(unreachable_code)] + +fn foo(x: !) -> ! { + x +} + +fn main() { + foo(panic!("wowzers!")) +} + diff --git a/src/test/run-fail/never-associated-type.rs b/src/test/run-fail/never-associated-type.rs new file mode 100644 index 00000000000..5fa2dfd3e88 --- /dev/null +++ b/src/test/run-fail/never-associated-type.rs @@ -0,0 +1,32 @@ +// Copyright 2012 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +#![feature(never_type)] + +// error-pattern:kapow! + +trait Foo { + type Wow; + + fn smeg(&self) -> Self::Wow; +} + +struct Blah; +impl Foo for Blah { + type Wow = !; + fn smeg(&self) -> ! { + panic!("kapow!"); + } +} + +fn main() { + Blah.smeg(); +} + diff --git a/src/test/run-fail/never-type-arg.rs b/src/test/run-fail/never-type-arg.rs new file mode 100644 index 00000000000..7a563127f7f --- /dev/null +++ b/src/test/run-fail/never-type-arg.rs @@ -0,0 +1,26 @@ +// Copyright 2012 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +// error-pattern:oh no! + +#![feature(never_type)] + +struct Wub; + +impl PartialEq for Wub { + fn eq(&self, other: &!) -> bool { + *other + } +} + +fn main() { + let _ = Wub == panic!("oh no!"); +} + diff --git a/src/test/run-pass/never-result.rs b/src/test/run-pass/never-result.rs new file mode 100644 index 00000000000..555b059ee89 --- /dev/null +++ b/src/test/run-pass/never-result.rs @@ -0,0 +1,25 @@ +// Copyright 2015 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +#![feature(never_type)] + +fn main() { + let x: Result = Ok(123); + match x { + Ok(z) => (), + Err(y) => { + let q: u32 = y; + let w: i32 = y; + let e: String = y; + y + }, + } +} + diff --git a/src/test/run-pass/unit-fallback.rs b/src/test/run-pass/unit-fallback.rs new file mode 100644 index 00000000000..6c3a80b78ac --- /dev/null +++ b/src/test/run-pass/unit-fallback.rs @@ -0,0 +1,35 @@ +// Copyright 2015 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +trait Balls: Sized { + fn smeg() -> Result; +} + +impl Balls for () { + fn smeg() -> Result<(), ()> { Ok(()) } +} + +struct Flah; + +impl Flah { + fn flah(&self) -> Result { + T::smeg() + } +} + +fn doit() -> Result<(), ()> { + let _ = try!(Flah.flah()); + Ok(()) +} + +fn main() { + let _ = doit(); +} +