Bug 13354 – Algebraic.opIndex/opIndexAssign makes wrong assumptions on the index/value type

Currently both, the index and the value type for VariantN.opIndex(Assign) must be allowed!T. This is an unreasonable assumption for Algebraic and examples such as the following do not work because of this: --- alias T = Algebraic!(int[string], int[]); T v = ["a": 1, "b": 2]; assert(v["a"] == 1); // error v["a"] = 0; // error ---

For the reference, error is "Error: static assert "Cannot store a string in a VariantN!(16LU, int[string], int[])""

*** This issue has been marked as a duplicate of issue 7449 ***

Commits pushed to master at https://github.com/D-Programming-Language/phobos https://github.com/D-Programming-Language/phobos/commit/352dee3a8961f6b0403ae781145b8e3d881ab447 Fix issue #13354 - Use a generic Variant for passing opIndex/opIndexAssign arguments. Also improves the error message when an incompatible index or value type is used by printing the actual type ID instead of "void[]" in the thrown exception. https://github.com/D-Programming-Language/phobos/commit/9c8a1a5dfed7f0dc29c22da936fe964f0042562e Merge pull request #2453 from s-ludwig/issue_13354 Fix issue #13354 - Use a generic Variant for passing opIndex/opIndexAssign arguments.