Rollup of 7 pull requests#141841

Closed

jhpratt wants to merge 15 commits into

rust-lang:masterfrom

jhpratt:rollup-52u8sk3

Annotations

1 warning

The logs for this run have expired and are no longer available.