From 2f4196205336df8550a4bfb3045d3d1c350f02bf Mon Sep 17 00:00:00 2001 From: Aaron Hill Date: Fri, 5 Jul 2019 20:15:31 -0400 Subject: [PATCH] Add explanation to 'existential_type_const' test --- src/test/ui/existential_types/existential_type_const.rs | 4 ++++ src/test/ui/existential_types/existential_type_const.stderr | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/src/test/ui/existential_types/existential_type_const.rs b/src/test/ui/existential_types/existential_type_const.rs index 55920b85dd73..646e9a734244 100644 --- 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 3499b6e20d56..049b4f75dd20 100644 --- 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)] | ^^^^^^^^^^^^^^^^^^^^^^