diff options
| -rw-r--r-- | src/test/ui/existential-type/issue-52843-closure-constrain.rs (renamed from src/test/ui/existential-type/issue-52843.rs) | 1 | ||||
| -rw-r--r-- | src/test/ui/existential-type/issue-52843-closure-constrain.stderr (renamed from src/test/ui/existential-type/issue-52843.stderr) | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/test/ui/existential-type/issue-52843.rs b/src/test/ui/existential-type/issue-52843-closure-constrain.rs index c625909e478..b2bbc1f1549 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 index 337e84bb8f5..424d65a193c 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; |