A return inside a match arm lands in the function's return type, never in the declaration the match sits in: the 64-bit shift below is a uint64's, not a uint16's.
return_in_match.zg
# A `return` inside a `match` arm lands in the function's return type, never in the declaration the# match sits in (found by check claude, seed 6868): the 64-bit shift below is a uint64's, not a uint16's.enumPick{quick,slow}fnf[]->uint64{let'v':uint16=matchPick.quick{quick{return8997704354644785536shr42;}slow{is1;}};returnto.uint64['v'];}MAIN{std::print.stored[f[],newln];}