The careful art of type-instability

JuliaLang · Aug 18, 2023 · 27ae621 · 27ae621
1 parent b29e0fe
commit 27ae621
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/base/scopedvalues.jl b/base/scopedvalues.jl
@@ -61,10 +61,11 @@ import Base: ImmutableDict
 # - Scopes are an inline implementation of an ImmutableDict, if we wanted
 #   be really fance we could use a CTrie or HAMT.
 
-mutable struct Scope{T}
+mutable struct Scope
     const parent::Union{Nothing, Scope}
-    const key::ScopedValue{T}
-    const value::T
+    const key::ScopedValue
+    const value::Any
+    Scope(parent, key::ScopedValue{T}, value::T) where T = new(parent, key, value)
 end
 Scope(parent, key::ScopedValue{T}, value) where T =
     Scope(parent, key, convert(T, value))