{"ast_node_type":"variable","tokens":[{"end":89,"kind":"keyword","start":0,"text":"let"}]}
                    let fresh_args = self.fresh_args_for_item(base_expr.span, adt.did());
                    // Make some fresh generic parameters for our ADT type.
                    // We do subtyping on the FRU fields first, so we can