X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=tests%2Fui%2Ftraits%2Finductive-overflow%2Flifetime.rs;h=bf536d21cf970b1a1cd97b913881516c28355610;hb=8ea26ca17f1baf0877b7b249323f3d5d72f0d3b4;hp=004e477374a6a8c1dfc041e36f22ba045cc25244;hpb=73476554e9f89245be50195d5ff8e66cc5e64c82;p=rust.git diff --git a/tests/ui/traits/inductive-overflow/lifetime.rs b/tests/ui/traits/inductive-overflow/lifetime.rs index 004e477374a..bf536d21cf9 100644 --- a/tests/ui/traits/inductive-overflow/lifetime.rs +++ b/tests/ui/traits/inductive-overflow/lifetime.rs @@ -16,6 +16,7 @@ impl<'a> Y for C<'a> { struct X(T::P); impl NotAuto for Box {} //~ NOTE: required +//~^ NOTE unsatisfied trait bound introduced here impl NotAuto for X where T::P: NotAuto {} impl<'a> NotAuto for C<'a> {}