error: missing required bound on `TRef`
  --> $DIR/issue-86787.rs:10:5
   |
LL |     type TRef<'a>;
   |     ^^^^^^^^^^^^^-
   |                  |
   |                  help: add the required where clause: `where Self: 'a`
   |
   = note: this bound is currently required to ensure that impls have maximum flexibility
   = note: we are soliciting feedback, see issue #87479 <https://github.com/rust-lang/rust/issues/87479> for more information

error[E0276]: impl has stricter requirements than trait
  --> $DIR/issue-86787.rs:25:37
   |
LL |     type TRef<'a>;
   |     ------------- definition of `TRef` from trait
...
LL |         <Left as HasChildrenOf>::T: 'a,
   |                                     ^^ impl has extra requirement `<Left as HasChildrenOf>::T: 'a`

error[E0276]: impl has stricter requirements than trait
  --> $DIR/issue-86787.rs:26:38
   |
LL |     type TRef<'a>;
   |     ------------- definition of `TRef` from trait
...
LL |         <Right as HasChildrenOf>::T: 'a;
   |                                      ^^ impl has extra requirement `<Right as HasChildrenOf>::T: 'a`

error: aborting due to 3 previous errors

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