error[E0277]: the trait bound `&str: X` is not satisfied
  --> $DIR/issue-86530.rs:16:7
   |
LL |     z(" ");
   |     - ^^^ the trait `X` is not implemented for `&str`
   |     |
   |     required by a bound introduced by this call
   |
note: required by a bound in `z`
  --> $DIR/issue-86530.rs:10:8
   |
LL | fn z<T>(t: T)
   |    - required by a bound in this
LL | where
LL |     T: X,
   |        ^ required by this bound in `z`

error: unconstrained generic constant
  --> $DIR/issue-86530.rs:16:5
   |
LL |     z(" ");
   |     ^
   |
   = help: try adding a `where` bound using this expression: `where [(); T::Y]:`
note: required by a bound in `z`
  --> $DIR/issue-86530.rs:11:10
   |
LL | fn z<T>(t: T)
   |    - required by a bound in this
...
LL |     [(); T::Y]: ,
   |          ^^^^ required by this bound in `z`

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0277`.