nit(qualifiedtype): assert return type

This improves type inference, since it seems that the compiler can't quite figure out the typeify function by itself.
tecosaur · May 23, 2024 · c3da8e5 · c3da8e5
1 parent 8f3a61f
commit c3da8e5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/model/qualifiedtype.jl b/src/model/qualifiedtype.jl
@@ -36,7 +36,7 @@ end
 Convert `qt` to a `Type` available in `mod`, if possible.
 If this cannot be done, `nothing` is returned instead.
 """
-function typeify(qt::QualifiedType; mod::Module=Main, shoulderror::Bool=false)
+function typeify(qt::QualifiedType; mod::Module=Main, shoulderror::Bool=false)::Union{Type, Nothing}
     mod = if qt.root === :Main
         mod
     elseif isdefined(mod, qt.root)