{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"res.push((Definition::Field(field_ref),"}]}
                res.push((Definition::Field(field_ref), Some(adt_subst)));
                res.push((Definition::Local(local_ref), None));
            }