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