{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"//"}]}
                    // dynamic borrow errors on `self.inner`.
                    // Note: if these two lines are combined into one we get
                    let known = self.inner.borrow_mut().type_variables().probe(v).known();