Rollup of 6 pull requests

[Dylan-DPC-zz]

Successful merges:

• doc: minus (U+2212) instead of dash (U+002D) for negative infinity #67430 (doc: minus (U+2212) instead of dash (U+002D) for negative infinity)
• Constify Result #67685 (Constify Result)
• Move the region_scope_tree query to librustc_passes. #67697 (Move the region_scope_tree query to librustc_passes.)
• Add self to .mailmap #67719 (Add self to .mailmap)
• Add error code explanation for E0477 #67723 (Add error code explanation for E0477)
• Support -Z ui-testing=yes/no #67735 (Support -Z ui-testing=yes/no)

Failed merges:

r? @ghost

[Dylan-DPC-zz]

@bors r+ rollup=never p=6

[bors]

📌 Commit c7f7a8b has been approved by Dylan-DPC

[rust-highfive]

The job mingw-check of your PR failed (pretty log, raw log). Through arcane magic we have determined that the following fragments from the build log may contain information about the problem.

Click to expand the log.

2019-12-31T10:20:00.2310398Z ##[command]git remote add origin https://github.com/rust-lang/rust
2019-12-31T10:20:00.2326377Z ##[command]git config gc.auto 0
2019-12-31T10:20:00.2328637Z ##[command]git config --get-all http.https://github.com/rust-lang/rust.extraheader
2019-12-31T10:20:00.2331373Z ##[command]git config --get-all http.proxy
2019-12-31T10:20:00.2334135Z ##[command]git -c http.extraheader="AUTHORIZATION: basic ***" fetch --force --tags --prune --progress --no-recurse-submodules --depth=2 origin +refs/heads/*:refs/remotes/origin/* +refs/pull/67750/merge:refs/remotes/pull/67750/merge
---
2019-12-31T10:25:16.6202978Z   local time: Tue Dec 31 10:25:16 UTC 2019
2019-12-31T10:25:17.3124678Z   network time: Tue, 31 Dec 2019 10:25:17 GMT
2019-12-31T10:25:17.3125251Z == end clock drift check ==
2019-12-31T10:25:32.2680465Z 
2019-12-31T10:25:32.2782602Z ##[error]Bash exited with code '1'.
2019-12-31T10:25:32.2813466Z ##[section]Starting: Checkout
2019-12-31T10:25:32.2814987Z ==============================================================================
2019-12-31T10:25:32.2815056Z Task         : Get sources
2019-12-31T10:25:32.2815100Z Description  : Get sources from a repository. Supports Git, TfsVC, and SVN repositories.

I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact @TimNN. (Feature Requests)