{"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"Some(TypeError::Sorts(ExpectedFound"}]}
                                Some(TypeError::Sorts(ExpectedFound { expected: ty, found: e_ty }));
                            let error =
                            self.annotate_loop_expected_due_to_inference(err, expr, error);