{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"array_len:"}]}
                array_len: None,
            ty::Slice(sub_ty) => ConstructorSet::Slice {
                subtype_is_empty: cx.is_uninhabited(*sub_ty),