Mention of TyKind::UnnormalizedProjectionTy which no longer exists

[fmease]

https://rust-lang.github.io/chalk/book/clauses/type_equality.html#placeholder-associated-types contains:

In rustc, [placeholder projection types] correspond to the TyKind::UnnormalizedProjectionTy enum variant, declared in compiler/rustc_middle/src/ty/sty.rs.

Do they now correspond to TyKind::Alias(AliasKind::Projection, AliasTy { … })? If so, I can gladly open a PR to update the outdated reference.

[tshepang]

I found rust-lang/rust#72150

[JohnTitor]

That book isn't hosted here but on https://github.com/rust-lang/chalk, please open an issue or submit a PR directly there! I cannot transfer the issue so am going to close instead.

[tshepang]

Also, to make it clear, the type is TyKind::UnnormalizedProjection (and not TyKind::UnnormalizedProjectionTy), and was removed from the codebase.

[fmease]

That book isn't hosted here

Oops, I should've looked at the URL. A hyperlink from the dev guide took me there. Sorry for the noise 🤦