{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// Canonicalizes a query value `V`. When we canonicalize a query,
impl<'tcx> InferCtxt<'tcx> {
    /// we not only canonicalize unbound inference variables, but we