type fourty_two(integer i)
    return i = 42
end type

fourty_two i

i = 41 -- type-check failure