{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"let"}]}
                            let field_ty = self.insert_type_vars(field_ty);
                            // FIXME: we may want to emit a single type variable for all instance of type fields?
                            self.infer_expr_coerce(