From 3e98c3acf5c598ae577428fa8fbf1c29e270739b Mon Sep 17 00:00:00 2001 From: Aaron Hill Date: Sun, 28 Jul 2019 19:12:04 -0400 Subject: [PATCH] Rename test and add comment --- .../{issue-52843.rs => issue-52843-closure-constrain.rs} | 1 + ...ssue-52843.stderr => issue-52843-closure-constrain.stderr} | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) rename src/test/ui/existential-type/{issue-52843.rs => issue-52843-closure-constrain.rs} (77%) rename src/test/ui/existential-type/{issue-52843.stderr => issue-52843-closure-constrain.stderr} (84%) diff --git a/src/test/ui/existential-type/issue-52843.rs b/src/test/ui/existential-type/issue-52843-closure-constrain.rs similarity index 77% rename from src/test/ui/existential-type/issue-52843.rs rename to src/test/ui/existential-type/issue-52843-closure-constrain.rs index c625909e47831..b2bbc1f154998 100644 --- a/src/test/ui/existential-type/issue-52843.rs +++ b/src/test/ui/existential-type/issue-52843-closure-constrain.rs @@ -1,3 +1,4 @@ +// Checks to ensure that we properly detect when a closure constrains an existential type #![feature(existential_type)] use std::fmt::Debug; diff --git a/src/test/ui/existential-type/issue-52843.stderr b/src/test/ui/existential-type/issue-52843-closure-constrain.stderr similarity index 84% rename from src/test/ui/existential-type/issue-52843.stderr rename to src/test/ui/existential-type/issue-52843-closure-constrain.stderr index 337e84bb8f50a..424d65a193c92 100644 --- a/src/test/ui/existential-type/issue-52843.stderr +++ b/src/test/ui/existential-type/issue-52843-closure-constrain.stderr @@ -1,11 +1,11 @@ error: concrete type differs from previous defining existential type use - --> $DIR/issue-52843.rs:7:5 + --> $DIR/issue-52843-closure-constrain.rs:8:5 | LL | fn _unused() -> Existential { String::new() } | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ expected `i32`, got `std::string::String` | note: previous use here - --> $DIR/issue-52843.rs:5:1 + --> $DIR/issue-52843-closure-constrain.rs:6:1 | LL | / fn main() { LL | | existential type Existential: Debug;