1
Fork 0

Use check-pass instead of build-pass in regions ui test suite

This commit is contained in:
Daiki Ihara 2020-10-30 23:34:12 +09:00
parent 1d6a0b0c72
commit 68d2cd5f17
18 changed files with 18 additions and 18 deletions

View file

@ -1,7 +1,7 @@
// Test related to #22779. In this case, the impl is an inherent impl, // Test related to #22779. In this case, the impl is an inherent impl,
// so it doesn't have to match any trait, so no error results. // so it doesn't have to match any trait, so no error results.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![allow(dead_code)] #![allow(dead_code)]
struct MySlice<'a, T:'a>(&'a mut [T]); struct MySlice<'a, T:'a>(&'a mut [T]);

View file

@ -1,7 +1,7 @@
// Test related to #22779, but where the `'a:'b` relation // Test related to #22779, but where the `'a:'b` relation
// appears in the trait too. No error here. // appears in the trait too. No error here.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
trait Tr<'a, T> { trait Tr<'a, T> {
fn renew<'b: 'a>(self) -> &'b mut [T] where 'a: 'b; fn renew<'b: 'a>(self) -> &'b mut [T] where 'a: 'b;

View file

@ -1,7 +1,7 @@
// Various tests related to testing how region inference works // Various tests related to testing how region inference works
// with respect to the object receivers. // with respect to the object receivers.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![allow(warnings)] #![allow(warnings)]
trait Foo { trait Foo {

View file

@ -1,7 +1,7 @@
// Various tests related to testing how region inference works // Various tests related to testing how region inference works
// with respect to the object receivers. // with respect to the object receivers.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![allow(warnings)] #![allow(warnings)]
trait Foo { trait Foo {

View file

@ -2,7 +2,7 @@
// "projection gap": in this test, we know that `T: 'x`, and that is // "projection gap": in this test, we know that `T: 'x`, and that is
// enough to conclude that `T::Foo: 'x`. // enough to conclude that `T::Foo: 'x`.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![allow(dead_code)] #![allow(dead_code)]
#![allow(unused_variables)] #![allow(unused_variables)]

View file

@ -2,7 +2,7 @@
// "projection gap": in this test, we know that `T::Foo: 'x`, and that // "projection gap": in this test, we know that `T::Foo: 'x`, and that
// is (naturally) enough to conclude that `T::Foo: 'x`. // is (naturally) enough to conclude that `T::Foo: 'x`.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![allow(dead_code)] #![allow(dead_code)]
#![allow(unused_variables)] #![allow(unused_variables)]

View file

@ -2,7 +2,7 @@
// "projection gap": in this test, we know that `T: 'x`, and that // "projection gap": in this test, we know that `T: 'x`, and that
// is (naturally) enough to conclude that `T: 'x`. // is (naturally) enough to conclude that `T: 'x`.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![allow(dead_code)] #![allow(dead_code)]
#![allow(unused_variables)] #![allow(unused_variables)]

View file

@ -3,7 +3,7 @@
// //
// Rule OutlivesNominalType from RFC 1214. // Rule OutlivesNominalType from RFC 1214.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![feature(rustc_attrs)] #![feature(rustc_attrs)]
#![allow(dead_code)] #![allow(dead_code)]

View file

@ -3,7 +3,7 @@
// //
// Rule OutlivesNominalType from RFC 1214. // Rule OutlivesNominalType from RFC 1214.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![feature(rustc_attrs)] #![feature(rustc_attrs)]
#![allow(dead_code)] #![allow(dead_code)]

View file

@ -3,7 +3,7 @@
// //
// Rule OutlivesNominalType from RFC 1214. // Rule OutlivesNominalType from RFC 1214.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![feature(rustc_attrs)] #![feature(rustc_attrs)]
#![allow(dead_code)] #![allow(dead_code)]

View file

@ -3,7 +3,7 @@
// //
// Rule OutlivesNominalType from RFC 1214. // Rule OutlivesNominalType from RFC 1214.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![feature(rustc_attrs)] #![feature(rustc_attrs)]
#![allow(dead_code)] #![allow(dead_code)]

View file

@ -3,7 +3,7 @@
// //
// Rule OutlivesNominalType from RFC 1214. // Rule OutlivesNominalType from RFC 1214.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![feature(rustc_attrs)] #![feature(rustc_attrs)]
#![allow(dead_code)] #![allow(dead_code)]

View file

@ -3,7 +3,7 @@
// //
// Rule OutlivesNominalType from RFC 1214. // Rule OutlivesNominalType from RFC 1214.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![feature(rustc_attrs)] #![feature(rustc_attrs)]
#![allow(dead_code)] #![allow(dead_code)]

View file

@ -3,7 +3,7 @@
// //
// Rule OutlivesNominalType from RFC 1214. // Rule OutlivesNominalType from RFC 1214.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![feature(rustc_attrs)] #![feature(rustc_attrs)]
#![allow(dead_code)] #![allow(dead_code)]

View file

@ -3,7 +3,7 @@
// //
// Rule OutlivesNominalType from RFC 1214. // Rule OutlivesNominalType from RFC 1214.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![feature(rustc_attrs)] #![feature(rustc_attrs)]
#![allow(dead_code)] #![allow(dead_code)]

View file

@ -5,7 +5,7 @@
// `'r` is bound, that leads to badness. This test checks that // `'r` is bound, that leads to badness. This test checks that
// everything works. // everything works.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![allow(dead_code)] #![allow(dead_code)]
trait TheTrait { trait TheTrait {

View file

@ -1,7 +1,7 @@
// Test that `<F as Foo<'a>>::Type: 'b`, where `trait Foo<'a> { Type: // Test that `<F as Foo<'a>>::Type: 'b`, where `trait Foo<'a> { Type:
// 'a; }`, does not require that `F: 'b`. // 'a; }`, does not require that `F: 'b`.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![allow(dead_code)] #![allow(dead_code)]
trait SomeTrait<'a> { trait SomeTrait<'a> {

View file

@ -1,7 +1,7 @@
// Test that scalar values outlive all regions. // Test that scalar values outlive all regions.
// Rule OutlivesScalar from RFC 1214. // Rule OutlivesScalar from RFC 1214.
// build-pass (FIXME(62277): could be check-pass?) // check-pass
#![allow(dead_code)] #![allow(dead_code)]
struct Foo<'a> { struct Foo<'a> {