Void valid type?

[weakroblox35]

was wondering if void is a valid typechecker because I’m using in scenarios where a function doesn’t really return anything, like damaging.
It also returns error-type?

[Artzified]

you can either use the type nil, or never

[weakroblox35]

How would I fix this though?

[Artzified]

what do you mean?

[weakroblox35]

I get a strict warning from putting the function returning never how would I get rid of it?

[Artzified]

how about nil instead of never?

[weakroblox35]

Gives off same warning too.

[Artzified]

can i see how you typecheck your function?

[weakroblox35]

function CleanupDeadMess(state:boolean?):never?
	Character.Health.Enabled = state -- is player actually dead? regardless.
	if state then
		Humanoid.WalkSpeed += 12
		print("player DID not die while downed")
	else
		print("player did die while downed")
	end
	script.Value.Value = false
	script.Downed.Value = false
end

[HugeCoolboy2007 (omega)]

You can try something like this?:

local function voidReturnType(): ()

end

void itself doesn’t exist as a type

[weakroblox35]

That fixes it, but why () isn’t that meant for functions?

[HugeCoolboy2007 (omega)]

I’m not sure why the double parenthesis are something that’s usable, but it essentially functions as a pseudo-void type.

It’s different from the function type though:

pseudo-void: ()
function-type: (...any) -> any

[Artzified]

try removing the ? after never

[weakroblox35]

Regardless, seems like putting any type besides () makes the engine expect the function to return at least something.