{"ast_node_type":"variable","tokens":[{"end":69,"kind":"keyword","start":0,"text":"let"}]}
            let op_arg_ty = self.normalize(op_arg_ty, term_location);
            let category = if call_source.from_hir_call() {