{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
            // All placeholders and vars are canonicalized in the root universe.
        match self.canonicalize_mode {
            CanonicalizeMode::Input { .. } => {