minigent/examples/0_basics/07-functions/expected.out

bad : U8 -> U16;
bad2 : U8 -> U8;
call : U8 -> U16;
call x = ((upcast[] : U8 -> U16) (x : U8) : U16) + ((upcast[] : U8
                                                                -> U16) (x : U8) : U16) : U16;
upcast : U8 -> U16;