{"ast_node_type":"function","tokens":[{"end":25,"kind":"keyword","start":0,"text":"fn"}]}
    fn solve(&mut self) {
impl<'a, 'tcx> SolveContext<'a, 'tcx> {
        // Propagate constraints until a fixed point is reached. Note