Add missing return case in isidentitytype

Fixes #48313.
JuliaLang · Jan 17, 2023 · 5ce8885 · 5ce8885
1 parent 1b9f640
commit 5ce8885
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/base/reflection.jl b/base/reflection.jl
@@ -659,6 +659,8 @@ function isidentityfree(@nospecialize(t::Type))
     elseif isa(t, Union)
         return isidentityfree(t.a) && isidentityfree(t.b)
     end
+    # TypeVar, etc.
+    return false
 end
 
 iskindtype(@nospecialize t) = (t === DataType || t === UnionAll || t === Union || t === typeof(Bottom))