| error[E0283]: type annotations needed |
| --> $DIR/no-incomplete-inference.rs:16:5 |
| | |
| LL | impls_equals::<dyn Equals<u32>, _>(); |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cannot infer type of the type parameter `U` declared on the function `impls_equals` |
| | |
| = note: cannot satisfy `dyn Equals<u32>: Equals<_>` |
| note: required by a bound in `impls_equals` |
| --> $DIR/no-incomplete-inference.rs:13:20 |
| | |
| LL | fn impls_equals<T: Equals<U> + ?Sized, U: ?Sized>() {} |
| | ^^^^^^^^^ required by this bound in `impls_equals` |
| |
| error: aborting due to 1 previous error |
| |
| For more information about this error, try `rustc --explain E0283`. |
