Initialization values in struct constructors are not currently promoted to the target types. This is a PITA and must be fixed.
This is implemented in poke master.