remove obscure TypeVar handling in arrayref_tfunc

JuliaLang · Oct 13, 2021 · d14503a · d14503a
1 parent 31d826e
commit d14503a
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/base/compiler/tfuncs.jl b/base/compiler/tfuncs.jl
@@ -1472,12 +1472,8 @@ end
 function arrayref_tfunc(@nospecialize(boundscheck), @nospecialize(a), @nospecialize i...)
     a = widenconst(a)
     if a <: Array
-        if isa(a, DataType) && begin
-                ap1 = a.parameters[1]
-                isa(ap1, Type) || isa(ap1, TypeVar)
-            end
-            # TODO: the TypeVar case should not be needed here
-            return unwraptv(ap1)
+        if isa(a, DataType) && (aparam1 = a.parameters[1]; isa(aparam1, Type))
+            return aparam1
         elseif isa(a, UnionAll) && !has_free_typevars(a)
             unw = unwrap_unionall(a)
             if isa(unw, DataType)