{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"self.push_diagnostic(InferenceDiagnostic::TypedHole"}]}
                self.push_diagnostic(InferenceDiagnostic::TypedHole {
                let expected = expected.to_option(&mut self.table).unwrap_or_else(|| self.err_ty());
                    expr: tgt_expr,