Creating values with void type is permitted by the checker

[vdka]

The following passes checking and results in bad Code Gen

a :: fn() -> void {}

main :: fn() -> void {
    x: void = a()
}