Global "typedefs" for function break tealdoc

[FilippoLeon]

I managed to break tealdoc with the following snippet:

global type Fun = function() : integer

global record T

	fun : Fun
end

local t : T


t.fun = function() : integer

end

Assert at line 207 of teal.lua in parser.

I think "t.fun" is "redeclared" as a "function" while previously it was a "variable"

[FilippoLeon]

I also have another one a bit different (this time at 407):

local a = {}


function a.d() 
end

function a.e() 
end

return a

(In both cases just ignoring the assert seems to work)

[FilippoLeon]

And I have a weird one, granted this case as written does not make much sense:

global record V
	metamethod __mul : function(number, number) : number
	metamethod __mul : function(number, table) : number
end

With the following assert:

.../5.4/tealdoc/generator/html/detailed_signature_phase.lua:120: in upvalue 'signature'
.../5.4/tealdoc/generator/html/detailed_signature_phase.lua:68: in upvalue 'detailed_signature_for_structure_type'
.../5.4/tealdoc/generator/html/detailed_signature_phase.lua:106: in upvalue 'signature'

It expects a function but gets an overload. I think an overload is legal?

Let me know if I should open separate issues

This I fixed with

assert(child_item.kind == "function" or child_item.kind == "overload", "Expected function item, got: " .. child_item.kind)

[upedd]

Thank you for your reports!
They will really helpful in fixing various bugs in tealdoc.
I will take a deeper look at them soon.