Typechecking OOP code across scopes

[iGottic]

Heya! Read the comments in the code.

@iGottic

-- typeof(metatable) gives the linter information about what methods are in your class.

-- unioning typeof({index = nil :: never}) tells the linter to separate methods and properties.

-- We also set __index in the type definition to a "never" type so that it is clear to the programmer
-- that it should not be used.

-- A combination of all of this only autofills class functions, object functions, and public properties

return function(Class)
	local ClassInstance = setmetatable({__index = nil :: never}, Class)
	return nil :: typeof(ClassInstance) & typeof({__index = nil :: never})
end