Wilco Kusee
Wilco Kusee
We don't really need to exactly replicate the original generation, it just has to be at least as good, if not better. edit: I misunderstood your comment. Yeah, looking at...
Minimized: ``` trait SystemParam { type Fetch: SystemParamFetch; } trait SystemParamFetch { type Item: SystemParam; } fn foo() where P::Fetch: Clone, { bar(); } fn bar() where P::Fetch: Clone, {...
Turns out to be another instance of #12897
Seems to happen only to the recursive solver. Reproduced as chalk test in rust-lang/chalk#773
Build failed because of #775
Slightly simpler repro, this one from rust-lang/rust-analyzer#12667. Hangs even with default depth. ```rust #[test] fn ra_12667() { test! { program { trait Clone { } trait A { type X:...
So it's expanding the goals like this: ``` AliasEq(::X = ^0.1) AliasEq(::Y = ^0.1), AliasEq(::X = ^0.1) ``` which replaces `
I'd like to start working on this, unless @phansch or @Rantanen started on this already. Seems like the `lints.toml` name is the one I've seen used most, so let's go...
Alright, placing it in `Cargo.toml` seems like a better place to start then. > That would mean that companies need one enormous workspace for all the crates in their company...
Fixed on master, now that we're using Chalk solver fuel again.