{"ast_node_type":"variable","tokens":[{"end":38,"kind":"keyword","start":0,"text":"let"}]}
        let canonical_inference_vars =
            self.instantiate_canonical_vars(span, canonical.variables, |ui| universes[ui]);