tests/ui/chalkify/lower_trait_where_clause.rs

   1 // check-pass
   2 // compile-flags: -Z trait-solver=chalk
   3
   4 use std::borrow::Borrow;
   5
   6 trait Foo<'a, 'b, T, U>
   7 where
   8     T: Borrow<U> + ?Sized,
   9     U: ?Sized + 'b,
  10     'a: 'b,
  11     Box<T>:, // NOTE(#53696) this checks an empty list of bounds.
  12 {
  13 }
  14
  15 fn main() {
  16 }