https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.56.0 2021-09-16T16:11:36+00:00 2021-09-16T16:11:36+00:00 Felix S. Klock II pnkfelix@pnkfx.org 2021-09-08T18:48:12+00:00 urn:sha1:73c80cde8c2f05ad74c8f9228c7b538847ba9274 (cherry picked from commit f26f1ed9a7208c0d928f0413cdd5f0966fa2c399) 2021-09-16T16:11:36+00:00 Felix S. Klock II pnkfelix@pnkfx.org 2021-09-08T18:03:40+00:00 urn:sha1:983c1b1544d01f998dae27be9aee47ba63c3ff3f This reverts commit 059b68dd677808e14e560802d235ad40beeba71e. Note that this was manually adjusted to retain some of the refactoring introduced by commit 059b68dd677808e14e560802d235ad40beeba71e, so that it could likewise retain the correction introduced in commit 5b4bc05fa57be19bb5962f4b7c0f165e194e3151 (cherry picked from commit 91feb76d133952825e3eb32bed399ec6e4bd9219) 2021-09-04T01:40:36+00:00 bors bors@rust-lang.org 2021-09-04T01:40:36+00:00 urn:sha1:b4e8596e3e78395543747ebaba26b49f6a478aa8 Detect bare blocks with type ascription that were meant to be a `struct` literal Address part of #34255. Potential improvement: silence the other knock down errors in `issue-34255-1.rs`. 2021-09-03T14:47:13+00:00 bors bors@rust-lang.org 2021-09-03T14:47:13+00:00 urn:sha1:577a76f0031f727735410b99a5cc5f0b61b92eef Move global analyses from lowering to resolution Split off https://github.com/rust-lang/rust/pull/87234 r? `@petrochenkov` 2021-09-03T14:43:04+00:00 Esteban Kuber esteban@kuber.com.ar 2021-09-02T18:34:03+00:00 urn:sha1:12ce6e9c60c662dc7181b70021145f191c0f9f3e Address part of #34255. Potential improvement: silence the other knock down errors in `issue-34255-1.rs`. 2021-09-03T03:13:18+00:00 bors bors@rust-lang.org 2021-09-03T03:13:18+00:00 urn:sha1:29d8fb746d3c7c0364f123e3efde90700b93aed3 Point at unclosed delimiters as part of the primary MultiSpan Both the place where the parser encounters a needed closed delimiter and the unclosed opening delimiter are important, so they should get the same level of highlighting in the output. _Context: https://twitter.com/mwk4/status/1430631546432675840_ 2021-09-01T18:13:16+00:00 Camille GILLOT gillot.camille@gmail.com 2021-07-16T20:22:08+00:00 urn:sha1:f8efe5d8222db70964f46b6523be81d6e7c38e65 2021-09-01T01:02:42+00:00 bors bors@rust-lang.org 2021-09-01T01:02:42+00:00 urn:sha1:c2a408840ad18f74280805535f0b7193528ff3df Introduce `let...else` Tracking issue: #87335 The trickiest part for me was enforcing the diverging else block with clear diagnostics. Perhaps the obvious solution is to expand to `let _: ! = ..`, but I decided against this because, when a "mismatched type" error is found in typeck, there is no way to trace where in the HIR the expected type originated, AFAICT. In order to pass down this information, I believe we should introduce `Expectation::LetElseNever(HirId)` or maybe add `HirId` to `Expectation::HasType`, but I left that as a future enhancement. For now, I simply assert that the block is `!` with a custom `ObligationCauseCode`, and I think this is clear enough, at least to start. The downside here is that the error points at the entire block rather than the specific expression with the wrong type. I left a todo to this effect. Overall, I believe this PR is feature-complete with regard to the RFC. 2021-08-31T08:41:22+00:00 Mara Bos m-ou.se@m-ou.se 2021-08-31T08:41:22+00:00 urn:sha1:7696aca55f8f5820cbe80a2b455616f10a81af83 fix(rustc_parse): correct span in `maybe_whole_expr!` Fixes #87812 2021-08-31T01:18:42+00:00 Cameron Steffen cam.steffen94@gmail.com 2021-07-30T22:12:11+00:00 urn:sha1:29bc94ff0de00d79aa10c47603701592e1d3e340