Skip to content

Generalized API to merge Map and Set into a Map #1208

Open
#1227
Open
Generalized API to merge Map and Set into a Map#1208
#1227
Labels
MapSetfeature-request

Description

@meooow25
meooow25
opened on May 9, 2026

For previous discussion see #975.

I'm working on the implementation.

Metadata

Metadata

Assignees

No one assigned

    Labels

    MapSetfeature-request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions