{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
                    // We do subtyping on the FRU fields first, so we can
                    let fresh_args = self.fresh_args_for_item(base_expr.span, adt.did());
                    // learn exactly what types we expect the base expr