Merge ref '401ae5542752' from rust-lang/rust

Pull recent changes from https://github.com/rust-lang/rust via Josh.

Upstream ref: 401ae55427522984e4a89c37cff6562a4ddcf6b7
Filtered ref: 1bd47ec470de5c7eab11a24bfee0e7f663cd56a2
Upstream diff: rust-lang/rust@5f9dd05...401ae55

This merge was created using https://github.com/rust-lang/josh-sync.

Author: The Miri Cronjob Bot

.github/workflows/ci.yml

@@ -82,3 +82,9 @@ jobs:
           git add .
           git commit -m "Deploy ${GITHUB_SHA} to gh-pages"
           git push --quiet -f "https://x-token:${{ secrets.GITHUB_TOKEN }}@github.com/${GITHUB_REPOSITORY}" HEAD:gh-pages
+
+      - name: Check if files comply with semantic line breaks
+        continue-on-error: true
+        run: |
+          # using split_inclusive that uses regex feature that uses an unstable feature
+          RUSTC_BOOTSTRAP=1 cargo run --manifest-path ci/sembr/Cargo.toml src

.gitignore

@@ -1,6 +1,7 @@
 book
 
 ci/date-check/target/
+ci/sembr/target/
 
 # Generated by check-in.sh
 pulls.json