{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"sema.resolve_record_pat_field_with_subst(&record_pat_field)"}]}
                        sema.resolve_record_pat_field_with_subst(&record_pat_field)
                    if let Some((field, _, adt_subst)) =
                    {