requirement solver overflow involving `proptest::sugar::NamedArguments` about rust

[compiler-errors]

I'll put up a fix in a sec

[dtolnay]

Bisects to nightly-2023-10-07. In nightly-2023-10-06, we get "the expected error" shown above.

cae0791...9607540

[dtolnay]

Looks like #114811, because 94bc9c7 reproduces the issue, but the previous commit on master (31be8cc) does not.

[compiler-errors]

Minimal:

trait Hello {}

struct Foo<'a, T: ?Sized>(&'a T);

impl<'a, T: ?Sized> Hello for Foo<'a, &'a T> where Foo<'a, T>: Hello {}

fn hello<T: ?Sized + Hello>() {}

fn main() {
    hello::<_>();
}

[apiraino]

WG-prioritization assigning priority (Zulip discussion).

@rustbot label -I-prioritize +P-medium