error: `[const]` is not allowed here
  --> $DIR/conditionally-const-in-anon-const.rs:14:25
   |
LL |             struct I<U: [const] Trait<0>>(U);
   |                         ^^^^^^^
   |
note: structs cannot have `[const]` trait bounds
  --> $DIR/conditionally-const-in-anon-const.rs:14:13
   |
LL |             struct I<U: [const] Trait<0>>(U);
   |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error: `[const]` is not allowed here
  --> $DIR/conditionally-const-in-anon-const.rs:17:26
   |
LL |             let x: &impl [const] Trait<0> = &();
   |                          ^^^^^^^
   |
note: anonymous constants cannot have `[const]` trait bounds
  --> $DIR/conditionally-const-in-anon-const.rs:11:9
   |
LL | /         {
LL | |             const fn g<U: [const] Trait<0>>() {}
LL | |
LL | |             struct I<U: [const] Trait<0>>(U);
...  |
LL | |             0
LL | |         },
   | |_________^

error: aborting due to 2 previous errors