let a := 3 

let foo := (test : unknown) : void => {
    // ... do sth
}

foo(a) // <- this should fail