(Maybe we should feature-gate `concat_idents`?)