//@ known-bug: #139089
pub fn foo3(x: ＆Vec<u8>) { x.push(0); }