merging japaric/rust/assoc-types = 4c588240 into auto