error: expected one of `!`, `(`, `+`, `,`, `::`, `:`, `<`, or `>`, found `=`
  --> $DIR/trait-path-segments.rs:6:36
   |
LL |     fn f1<'a>(arg : Box<dyn X<X::Y = u32>>) {}
   |                                  - ^ expected one of 8 possible tokens
   |                                  |
   |                                  maybe try to close unmatched angle bracket
   |
help: you might have meant to end the type parameters here
   |
LL |     fn f1<'a>(arg : Box<dyn X<X::Y> = u32>>) {}
   |                                   +

error: expected one of `,`, `::`, `:`, or `>`, found `=`
  --> $DIR/trait-path-segments.rs:17:35
   |
LL |     impl<T : X<<Self as X>::Y<'a> = &'a u32>> Z for T {}
   |                                 - ^ expected one of `,`, `::`, `:`, or `>`
   |                                 |
   |                                 maybe try to close unmatched angle bracket
   |
help: you might have meant to end the type parameters here
   |
LL |     impl<T : X<<Self as X>::Y<'a>> = &'a u32>> Z for T {}
   |                                  +

error: expected one of `!`, `+`, `,`, `::`, `:`, or `>`, found `=`
  --> $DIR/trait-path-segments.rs:28:25
   |
LL |     impl<T : X<X::Y<'a> = &'a u32>> Z for T {}
   |                       - ^ expected one of `!`, `+`, `,`, `::`, `:`, or `>`
   |                       |
   |                       maybe try to close unmatched angle bracket
   |
help: you might have meant to end the type parameters here
   |
LL |     impl<T : X<X::Y<'a>> = &'a u32>> Z for T {}
   |                        +

error: aborting due to 3 previous errors