Use check-pass for never type tests

This commit is contained in:
Tomasz Miąsko 2019-11-02 00:00:00 +00:00
parent 6be770150b
commit cfa2a2632a
5 changed files with 5 additions and 10 deletions

View file

@ -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)]

View file

@ -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)]

View file

@ -1,7 +1,6 @@
// Test that we can explicitly cast ! to another type
// run-fail
// error-pattern:explicit
// check-pass
#![feature(never_type)]

View file

@ -1,7 +1,6 @@
// Test that we can use ! as an associated type.
// run-fail
// error-pattern:kapow!
// check-pass
#![feature(never_type)]

View file

@ -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)]