Rename test and add comment
This commit is contained in:
parent
8811b9ce9f
commit
3e98c3acf5
@ -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;
|
@ -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;
|
Loading…
x
Reference in New Issue
Block a user