tests/ui/chalkify/trait_implied_bound.rs

   1 // run-pass
   2 // compile-flags: -Z trait-solver=chalk
   3
   4 trait Foo { }
   5 trait Bar<U> where U: Foo { }
   6
   7 impl Foo for i32 { }
   8 impl Bar<i32> for i32 { }
   9
  10 fn only_foo<T: Foo>() { }
  11
  12 fn only_bar<U, T: Bar<U>>() {
  13     only_foo::<U>()
  14 }
  15
  16 fn main() {
  17     only_bar::<i32, i32>()
  18 }