{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"Some(adt_def)"}]}
                Some(adt_def) if adt_def.has_ctor() => {
            match ty.normalized.ty_adt_def() {
                    let (ctor_kind, ctor_def_id) = adt_def.non_enum_variant().ctor.unwrap();