Unable to resolve a generic through assert

[euclidianAce]

Given the signature of this ivalues function and attempting to use it with assert call as an argument causes an unresolved generic error

local ivalues: function<Value>({any:Value}): function(): Value

local function _list_contains_string(list: {string}, str: string): boolean
   for val in ivalues(assert(list)) do
      if val == str then
         return true
      end
   end
   return false
end

scratch.tl:5:14: types are not comparable for equality: Value (unresolved generic) and string

but removing the assert makes it check just fine.

 local ivalues: function<Value>({any:Value}): function(): Value
 
 local function _list_contains_string(list: {string}, str: string): boolean
-   for val in ivalues(assert(list)) do
+   for val in ivalues(list) do
       if val == str then
          return true
       end
    end
    return false
 end