Check projections are well-formed when using projection candidates

2 files changed, 0 insertions, 42 deletions

diff --git a/src/test/ui/issues/issue-38091.rs b/src/test/ui/issues/issue-38091.rs
deleted file mode 100644
index a84391b94d1..00000000000
--- a/src/test/ui/issues/issue-38091.rs
+++ /dev/null
@@ -1,21 +0,0 @@
-#![feature(specialization)]
-//~^ WARN the feature `specialization` is incomplete
-
-trait Iterate<'a> {
-    type Ty: Valid;
-    fn iterate(self);
-}
-impl<'a, T> Iterate<'a> for T where T: Check {
-    default type Ty = ();
-    //~^ ERROR the trait bound `(): Valid` is not satisfied
-    default fn iterate(self) {}
-}
-
-trait Check {}
-impl<'a, T> Check for T where <T as Iterate<'a>>::Ty: Valid {}
-
-trait Valid {}
-
-fn main() {
-    Iterate::iterate(0);
-}
diff --git a/src/test/ui/issues/issue-38091.stderr b/src/test/ui/issues/issue-38091.stderr
deleted file mode 100644
index f47fd8d1b0d..00000000000
--- a/src/test/ui/issues/issue-38091.stderr
+++ /dev/null
@@ -1,21 +0,0 @@
-warning: the feature `specialization` is incomplete and may not be safe to use and/or cause compiler crashes
-  --> $DIR/issue-38091.rs:1:12
-   |
-LL | #![feature(specialization)]
-   |            ^^^^^^^^^^^^^^
-   |
-   = note: `#[warn(incomplete_features)]` on by default
-   = note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
-
-error[E0277]: the trait bound `(): Valid` is not satisfied
-  --> $DIR/issue-38091.rs:9:5
-   |
-LL |     type Ty: Valid;
-   |              ----- required by this bound in `Iterate::Ty`
-...
-LL |     default type Ty = ();
-   |     ^^^^^^^^^^^^^^^^^^^^^ the trait `Valid` is not implemented for `()`
-
-error: aborting due to previous error; 1 warning emitted
-
-For more information about this error, try `rustc --explain E0277`.