minigent/examples/0_basics/07-functions/in.minigent

upcast : U8 -> U16;

call : U8 -> U16;
call x = upcast x + upcast x;

bad : U8 -> U16;
bad x = upcast x + x;

bad2 : U8 -> U8;
bad2 x = upcast x;