tests/ui/unsized/issue-75707.rs

   1 pub trait Callback {
   2     fn cb();
   3 }
   4
   5 pub trait Processing {
   6     type Call: Callback;
   7 }
   8
   9 fn f<P: Processing + ?Sized>() {
  10     P::Call::cb();
  11 }
  12
  13 fn main() {
  14     struct MyCall;
  15     f::<dyn Processing<Call = MyCall>>();
  16     //~^ ERROR: the trait bound `MyCall: Callback` is not satisfied
  17 }