{"ast_node_type":"variable","tokens":[{"end":27,"kind":"keyword","start":0,"text":"let"}]}
        let cx = self.cx();
        debug_assert!(self.term_is_fully_unconstrained(goal));
        match goal.predicate.alias.kind(cx) {