Type-assert the value type in getindex(::AbstractDict, key) (#49115)

Closes JuliaCollections/OrderedCollections.jl#101
JuliaLang · Jun 30, 2023 · e081db6 · e081db6
1 parent d688d91
commit e081db6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/base/abstractdict.jl b/base/abstractdict.jl
@@ -536,12 +536,12 @@ function hash(a::AbstractDict, h::UInt)
     hash(hv, h)
 end
 
-function getindex(t::AbstractDict, key)
+function getindex(t::AbstractDict{<:Any,V}, key) where V
     v = get(t, key, secret_table_token)
     if v === secret_table_token
         throw(KeyError(key))
     end
-    return v
+    return v::V
 end
 
 # t[k1,k2,ks...] is syntactic sugar for t[(k1,k2,ks...)].  (Note