diff options
| author | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2019-11-02 00:00:00 +0000 |
|---|---|---|
| committer | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2019-11-03 10:20:11 +0100 |
| commit | cfa2a2632ad5efc1cc099d661672042be8776500 (patch) | |
| tree | f8de2d02bbca35d0c0ebc1aa6a409c104322f75d | |
| parent | 6be770150bb216bfca38849ee3239fd227ccae7b (diff) | |
Use check-pass for never type tests
| -rw-r--r-- | src/test/ui/never_type/adjust_never.rs | 3 | ||||
| -rw-r--r-- | src/test/ui/never_type/call-fn-never-arg.rs | 3 | ||||
| -rw-r--r-- | src/test/ui/never_type/cast-never.rs | 3 | ||||
| -rw-r--r-- | src/test/ui/never_type/never-associated-type.rs | 3 | ||||
| -rw-r--r-- | src/test/ui/never_type/never-type-arg.rs | 3 |
5 files changed, 5 insertions, 10 deletions
diff --git a/src/test/ui/never_type/adjust_never.rs b/src/test/ui/never_type/adjust_never.rs index 3aa5866ebfb..0d7d2c0ed3f 100644 --- a/src/test/ui/never_type/adjust_never.rs +++ b/src/test/ui/never_type/adjust_never.rs @@ -1,7 +1,6 @@ // Test that a variable of type ! can coerce to another type. -// run-fail -// error-pattern:explicit +// check-pass #![feature(never_type)] diff --git a/src/test/ui/never_type/call-fn-never-arg.rs b/src/test/ui/never_type/call-fn-never-arg.rs index 6218572f8a7..9d355817ee8 100644 --- a/src/test/ui/never_type/call-fn-never-arg.rs +++ b/src/test/ui/never_type/call-fn-never-arg.rs @@ -1,7 +1,6 @@ // Test that we can use a ! for an argument of type ! -// run-fail -// error-pattern:wowzers! +// check-pass #![feature(never_type)] #![allow(unreachable_code)] diff --git a/src/test/ui/never_type/cast-never.rs b/src/test/ui/never_type/cast-never.rs index 46072e186e0..0139ebe4640 100644 --- a/src/test/ui/never_type/cast-never.rs +++ b/src/test/ui/never_type/cast-never.rs @@ -1,7 +1,6 @@ // Test that we can explicitly cast ! to another type -// run-fail -// error-pattern:explicit +// check-pass #![feature(never_type)] diff --git a/src/test/ui/never_type/never-associated-type.rs b/src/test/ui/never_type/never-associated-type.rs index 7f0a3fef6a9..3bb917c9316 100644 --- a/src/test/ui/never_type/never-associated-type.rs +++ b/src/test/ui/never_type/never-associated-type.rs @@ -1,7 +1,6 @@ // Test that we can use ! as an associated type. -// run-fail -// error-pattern:kapow! +// check-pass #![feature(never_type)] diff --git a/src/test/ui/never_type/never-type-arg.rs b/src/test/ui/never_type/never-type-arg.rs index a82d351f6cf..13cd59e6aa9 100644 --- a/src/test/ui/never_type/never-type-arg.rs +++ b/src/test/ui/never_type/never-type-arg.rs @@ -1,7 +1,6 @@ // Test that we can use ! as an argument to a trait impl. -// run-fail -// error-pattern:oh no! +// check-pass #![feature(never_type)] |