Update to rustc 5419b2ca2