https://rustc-dev-guide.rust-lang.org/traits/canonical-queries.html doesn't mention the word "canonical" once. It looks like the docs got deleted in https://github.com/rust-lang/rustc-dev-guide/pull/679. @crlf0710 do you have time to add these back? Canonicalization is important and still happens in rustc, not chalk. https://github.com/rust-lang/rust/blob/e940f845be13ff37d4ba28df5f40d74e5b0895a0/compiler/rustc_trait_selection/src/traits/mod.rs#L103-L114