XXX(rsw) is it correct to enforce length here, vs. in (say) builtin_call in mod.rs?
(u: T)
source not stored for this graph (policy: none)
no test coverage detected