{"ast_node_type":"variable","tokens":[{"end":90,"kind":"keyword","start":0,"text":"let"}]}
                    let known = self.inner.borrow_mut().type_variables().probe(v).known();
                    // dynamic borrow errors on `self.inner`.
                    known.map_or(ty, |t| self.shallow_resolve(t))