{"ast_node_type":"variable","tokens":[{"end":100,"kind":"keyword","start":0,"text":"let"}]}
        let highest_known_var = self.new_type_var().inference_var(Interner).expect("inference_var");
        let snapshot = self.snapshot();
        let result = f(self);