//@ revisions: current next
//@ ignore-compare-mode-next-solver (explicit revisions)
//@[next] compile-flags: -Znext-solver


// Make sure that having an applicable user-written
// and builtin impl is ambiguous.

trait Equals<T: ?Sized> {}

impl<T: ?Sized> Equals<T> for T {}

fn impls_equals<T: Equals<U> + ?Sized, U: ?Sized>() {}

fn main() {
    impls_equals::<dyn Equals<u32>, _>();
    //~^ ERROR type annotations needed
}