agreed that this would heavily improve typechecking, currently the only workaround would be to intersect the function’s type but it just feels really clunky
local function _()
error('uke9emc9wowk')
end::(() -> false) & (() -> (true, number))
this feels like it’d be a better fit for an rfc for luau itself though, see GitHub - luau-lang/rfcs: RFCs for Luau evolution