Bug 16685 – template instantiation rejected when passing member of enum struct in value parameter

Failing to instantiate a template from a correctly-typed compile-time value: struct Id { ushort value; } enum Id x = Id(5); struct S(ushort A) {} // This works, as expected: enum ushort someShortVal = 5; alias CanCreateFromShort = S!(someShortVal); // This works, as expected: alias CanCreateFromTypedValue = S!(ushort(x.value)); static assert(is(typeof(x.value) == ushort)); // This surprisingly fails alias CannotCreateFromValue = S!(x.value);

Covered by DMD's PR https://github.com/dlang/dmd/pull/6260

Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/9b380e7b249eeac8d3b6a79ec102564de85de10d Issue 16685 - template instantiation rejected when passing member of enum struct in value parameter https://github.com/dlang/dmd/commit/2e71fdb22c6d1320e08de4e0cd7a1042d0d0abea Merge pull request #7335 from JinShil/fix_16685 Issue 16685 - template instantiation rejected when passing member of enum struct in value parameter

Commits pushed to stable at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/9b380e7b249eeac8d3b6a79ec102564de85de10d Issue 16685 - template instantiation rejected when passing member of enum struct in value parameter https://github.com/dlang/dmd/commit/2e71fdb22c6d1320e08de4e0cd7a1042d0d0abea Merge pull request #7335 from JinShil/fix_16685