merging eddyb/rust/poly-const = d0563ffd into auto