tests/ui/chalkify/lower_env2.rs

   1 // check-pass
   2 // compile-flags: -Z trait-solver=chalk
   3
   4 #![allow(dead_code)]
   5
   6 trait Foo { }
   7
   8 struct S<'a, T: ?Sized> where T: Foo {
   9     data: &'a T,
  10 }
  11
  12 fn bar<T: Foo>(_x: S<'_, T>) { // note that we have an implicit `T: Sized` bound
  13 }
  14
  15 fn main() {
  16 }