Skip to content

Commit

Permalink
compiletest: error if compile-fail header in ui test.
Browse files Browse the repository at this point in the history
  • Loading branch information
Tyg13 committed Feb 2, 2020
1 parent e5b150e commit f6c3894
Show file tree
Hide file tree
Showing 38 changed files with 168 additions and 194 deletions.
@@ -1,4 +1,3 @@
// compile-fail
// ignore-tidy-linelength

// NOTE: rustc cannot currently handle bounds of the form `for<'a> <Foo as Bar<'a>>::Assoc: Baz`.
Expand Down
@@ -1,13 +1,13 @@
error[E0277]: `<L1 as Lam<&'a u8>>::App` doesn't implement `std::fmt::Debug`
--> $DIR/bad-bounds-on-assoc-in-trait.rs:32:6
--> $DIR/bad-bounds-on-assoc-in-trait.rs:31:6
|
LL | impl Case1 for S1 {
| ^^^^^ `<L1 as Lam<&'a u8>>::App` cannot be formatted using `{:?}` because it doesn't implement `std::fmt::Debug`
|
= help: the trait `for<'a> std::fmt::Debug` is not implemented for `<L1 as Lam<&'a u8>>::App`

error[E0277]: `<<T as Case1>::C as std::iter::Iterator>::Item` is not an iterator
--> $DIR/bad-bounds-on-assoc-in-trait.rs:37:1
--> $DIR/bad-bounds-on-assoc-in-trait.rs:36:1
|
LL | fn assume_case1<T: Case1>() {
| ^ - help: consider further restricting the associated type: `where <<T as Case1>::C as std::iter::Iterator>::Item: std::iter::Iterator`
Expand All @@ -24,7 +24,7 @@ LL | | }
= help: the trait `std::iter::Iterator` is not implemented for `<<T as Case1>::C as std::iter::Iterator>::Item`

error[E0277]: `<<T as Case1>::C as std::iter::Iterator>::Item` cannot be sent between threads safely
--> $DIR/bad-bounds-on-assoc-in-trait.rs:37:1
--> $DIR/bad-bounds-on-assoc-in-trait.rs:36:1
|
LL | trait Case1 {
| ----------- required by `Case1`
Expand All @@ -44,7 +44,7 @@ LL | | }
= help: the trait `std::marker::Send` is not implemented for `<<T as Case1>::C as std::iter::Iterator>::Item`

error[E0277]: `<<T as Case1>::C as std::iter::Iterator>::Item` cannot be shared between threads safely
--> $DIR/bad-bounds-on-assoc-in-trait.rs:37:1
--> $DIR/bad-bounds-on-assoc-in-trait.rs:36:1
|
LL | trait Case1 {
| ----------- required by `Case1`
Expand All @@ -64,7 +64,7 @@ LL | | }
= help: the trait `std::marker::Sync` is not implemented for `<<T as Case1>::C as std::iter::Iterator>::Item`

error[E0277]: `<_ as Lam<&'a u8>>::App` doesn't implement `std::fmt::Debug`
--> $DIR/bad-bounds-on-assoc-in-trait.rs:37:1
--> $DIR/bad-bounds-on-assoc-in-trait.rs:36:1
|
LL | trait Case1 {
| ----------- required by `Case1`
Expand Down
1 change: 0 additions & 1 deletion src/test/ui/associated-type-bounds/duplicate.rs
@@ -1,4 +1,3 @@
// compile-fail
// ignore-tidy-linelength

#![feature(associated_type_bounds)]
Expand Down

0 comments on commit f6c3894

Please sign in to comment.