{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
/// new trait solver implementation. We should deduplicate canonicalization.
/// FIXME(-Znext-solver): This or public because it is shared with the
#[extension(pub trait CanonicalExt<'tcx, V>)]