This proposal is interesting, and I see why the enum proposal makes it useful.
Supporting this will mean a small amount of work for me (assuming it passes) and other static analysis tools, but I don't want that to factor into anyone's decision. I am curious, though, whether the scope of this RFC could be narrowed to just allowing enum cases as keys? That might avoid issues with objects that cannot be cast to string.
