Add explanation to 'existential_type_const' test

diff --git a/src/test/ui/existential_types/existential_type_const.rs b/src/test/ui/existential_types/existential_type_const.rs
index 55920b85dd73025d6f31a610e07b446936c2760c..646e9a734244e2cd95da86bb9a41a6c4326818ab 100644 (file)
--- a/src/test/ui/existential_types/existential_type_const.rs
+++ b/src/test/ui/existential_types/existential_type_const.rs
@@ -1,6 +1,10 @@
 // check-pass
 
 #![feature(existential_type)]
+// Currently, the `existential_type` feature implicitly
+// depends on `impl_trait_in_bindings` in order to work properly.
+// Specifically, this line requires `impl_trait_in_bindings` to be enabled:
+// https://github.com/rust-lang/rust/blob/481068a707679257e2a738b40987246e0420e787/src/librustc_typeck/check/mod.rs#L856
 #![feature(impl_trait_in_bindings)]
 //~^ WARN the feature `impl_trait_in_bindings` is incomplete and may cause the compiler to crash
 

diff --git a/src/test/ui/existential_types/existential_type_const.stderr b/src/test/ui/existential_types/existential_type_const.stderr
index 3499b6e20d5677a737cb23094df01ca77cfaa314..049b4f75dd204ff84bc63714a8298fe9f91df7de 100644 (file)
--- a/src/test/ui/existential_types/existential_type_const.stderr
+++ b/src/test/ui/existential_types/existential_type_const.stderr
@@ -1,5 +1,5 @@
 warning: the feature `impl_trait_in_bindings` is incomplete and may cause the compiler to crash
-  --> $DIR/existential_type_const.rs:4:12
+  --> $DIR/existential_type_const.rs:8:12
    |
 LL | #![feature(impl_trait_in_bindings)]
    |            ^^^^^^^^^^^^^^^^^^^^^^