LowR

Interesting. Essentially, this is because chalk cannot prove `Implemented(dyn Trait: Trait)` given the following setup: ```rust trait Base { type T; } trait Trait: Base {} ``` Because of the...

rust-analyzer you're using is pretty old. Updating it to the latest version should work.

I deliberately did not link #4309 for automatic close because there are still some features missing as mentioned in the PR description. However I think this PR enables type inference...

> > I haven't (yet) implemented HirDisplay for TyKind::Generator, so generator types are just shown as "{{generator}}" (in tests, inlay hints, hovers, etc.), which is not really nice. How should...

Sorry for the delay! I decided to go for the initial implementation like so: `|ResumeType| yields YieldType -> ReturnType`. This is now ready for (another?) full review. note to self:...

Oh my, how could I forget to link this when it is the very issue I started with :sweat_smile: @Veykril Thanks for catching it, and also for your reduced repro,...

The following code compiles on stable and `Assoc = ()` part is an example of `GenericArgsBinding` with a generic argument if I'm not mistaken? ```rust trait Trait { type Assoc;...

This is a really unfortunate consequence of #12603. We do show rustdoc of proc macros, but we fail to expand your internal macros to generate the attribute macros in the...

One of the ultimate causes of this bug is same as #14369, for which I submitted rust-lang/chalk#792. Because of this, chalk fails to normalize `::OnClause` and other similar projections that...