Merge pull request #2323 from n8sh/issue-19262

Fix Issue 19262 - hashOf associative array should infer nothrow
merged-on-behalf-of: Nathan Sashihara <n8sh@users.noreply.github.com>

Author: dlang-bot

src/core/internal/hash.d

@@ -606,6 +606,10 @@ if (!is(T == enum) && (is(T == interface) || is(T == class))
 //associative array hash. CTFE depends on base types
 size_t hashOf(T)(T aa) if (!is(T == enum) && __traits(isAssociativeArray, T))
 {
+    static if (is(typeof(aa) : V[K], K, V)) {} // Put K & V in scope.
+    static if (__traits(compiles, (ref K k, ref V v) nothrow => .hashOf(k) + .hashOf(v)))
+        scope (failure) assert(0); // Allow compiler to infer nothrow.
+
     if (!aa.length) return 0;
     size_t h = 0;
 

test/hash/src/test_hash.d

@@ -6,6 +6,7 @@ void main()
     issue18918();
     issue18925();
     issue19005();
+    issue19262();
     issue19282();
     testTypeInfoArrayGetHash1();
     testTypeInfoArrayGetHash2();
@@ -86,6 +87,14 @@ void issue19005() @nogc nothrow pure @safe
     auto hash = date.hashOf;
 }
 
+/// hashOf associative array should infer nothrow
+void issue19262() nothrow
+{
+    int[int] aa;
+    auto h = hashOf(aa);
+    h = hashOf(aa, h);
+}
+
 extern(C++) class Issue19282CppClass {}
 
 /// test that hashOf doesn't crash for non-null C++ objects.