A problem with class declaration (cross-reference)

[dmi7ry]

Can't declare something like this:

declare class Element
    getColShape: () -> ColShape
end

declare class ColShape extends Element
    getElementsWithin: () -> Element
end

is it possible somehow?
(I use getColShape: () -> any as workaround, but I would like it declared as ColShape).

And another thing. Is it possible to declare default constructor of a class?
i.e. I have a class

declare class Foo
end

and in code it created as

local a = Foo(arg1, arg2, arg3)

how can I declare it?

[JohnnyMorganz]

For the first one, I think it is related to #631 and I have opened a PR #729 to fix this

For the second one, I think you can declare the __call metamethod
__call: (string, string) -> Foo

[dmi7ry]

For the first one, I think it is related to #631 and I have opened a PR #729 to fix this

Great! Looking forward it merged.

For the second one, I think you can declare the __call metamethod __call: (string, string) -> Foo

I tried, but seems it doesn't work, at least with Luau Language Server and Roblox LSP.

[JohnnyMorganz]

I tried, but seems it doesn't work, at least with Luau Language Server and Roblox LSP.

Hm, looks like this might potentially be a bug? The code only checks for callable table in a MetatableTypeVar, but not for a ClassTypeVar
https://github.com/Roblox/luau/blob/816e41a8f2eae7ca2d9d9fb4d2f847e33c087650/Analysis/src/TypeInfer.cpp#L4138-L4139

[JohnnyMorganz]

I've opened #762 to fix the __call issue

[dmi7ry]

I've opened #762 to fix the __call issue

Great! Thank you!

[dmi7ry]

@JohnnyMorganz BTW, is it possible declare function/variable as depricated?

[JohnnyMorganz]

From C++ only I think, when you create a class typevar. Or mutate after loading it in.

I don't think it's possible just from definitions files - maybe in future there will be support via comments or some other syntax