Issue type checking `self`, no metatables involved

[pixe_ated (vera)]

hi,

i’m having a bit of an issue trying to type check self

here’s an example of what i’m trying to do

as you can see, self is typed here

---

but not here

i’ve tried a few things but i don’t really know what else to do

[pixe_ated (vera)]

solved by doing

(self :: typeof(module.Init()) )

… wish this was done by default

[iGottic]

If interested, here is something I made on it: Typechecking OOP code across scopes

[pixe_ated (vera)]

ehehe thanks, that clears things up a bit