https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.58.0 2021-11-23T22:07:11+00:00 2021-11-23T22:07:11+00:00 Badel2 2badel2@gmail.com 2021-11-23T21:55:48+00:00 urn:sha1:6955afe8fd16d51b2c617d69f89a9eac5b7fd150 2021-10-12T12:22:25+00:00 Devin Ragotzy devin.ragotzy@gmail.com 2021-09-18T20:52:43+00:00 urn:sha1:2a042d61055263e404d9588d39046ed51e96a560 Add test cases for unstable variants Add test cases for doc hidden variants Move is_doc_hidden to method on TyCtxt Add unstable variants test to reachable-patterns ui test Rename reachable-patterns -> omitted-patterns 2021-10-01T21:46:52+00:00 Manish Goregaokar manishsmail@gmail.com 2021-10-01T21:46:52+00:00 urn:sha1:5ab1245303c26d3ae33b1adaa89fef2b8d9fb9ca Normalize after substituting via `field.ty()` Back in https://github.com/rust-lang/rust/issues/72476 I hadn't understood where the problem was coming from, and only worked around the issue. What happens is that calling `field.ty()` on a field of a generic struct substitutes the appropriate generics but doesn't normalize the resulting type. As a consumer of types I'm surprised that one would substitute without normalizing, feels like a footgun, so I added a comment. Fixes https://github.com/rust-lang/rust/issues/89393. 2021-10-01T18:45:19+00:00 Nadrieril nadrieril+git@gmail.com 2021-10-01T18:09:43+00:00 urn:sha1:68b76a48358e611e31de8e96c56b9e50862a960e 2021-09-29T00:16:17+00:00 bors bors@rust-lang.org 2021-09-29T00:16:17+00:00 urn:sha1:6df1d82869d06b88ff413e63a1e8efbb311e3b5c Add an intermediate representation to exhaustiveness checking The exhaustiveness checking algorithm keeps deconstructing patterns into a `Constructor` and some `Fields`, but does so a bit all over the place. This PR introduces a new representation for patterns that already has that information, so we only compute it once at the start. I find this makes code easier to follow. In particular `DeconstructedPat::specialize` is a lot simpler than what happened before, and more closely matches the description of the algorithm. I'm also hoping this could help for the project of librarifying exhaustiveness for rust_analyzer since it decouples the algorithm from `rustc_middle::Pat`. 2021-09-26T02:07:44+00:00 est31 MTest31@outlook.com 2021-08-25T00:39:40+00:00 urn:sha1:6550021124451628b1efc60c59284465b109e3aa 2021-09-25T23:30:38+00:00 Nadrieril nadrieril+git@gmail.com 2021-09-25T23:00:08+00:00 urn:sha1:71abc9565f037c3c9da5814c23857545abb0aaab 2021-09-25T23:05:52+00:00 Nadrieril nadrieril+git@gmail.com 2021-09-22T17:16:07+00:00 urn:sha1:3175409682e8c2e66b04ed25169a36ab716e71d9 Now `Fields` is just a `Vec` of patterns, with some extra info on the side to reconstruct patterns when needed. This emphasizes that this extra info is not central to the algorithm. 2021-09-22T16:38:46+00:00 Nadrieril nadrieril+git@gmail.com 2021-08-25T20:58:49+00:00 urn:sha1:bf1848d8a58e5ed70b016bc1039ca26e9941b6e8 2021-08-31T01:18:43+00:00 Cameron Steffen cam.steffen94@gmail.com 2021-07-30T22:14:34+00:00 urn:sha1:df9a2e0687895731e12f4a2651e8d70acd08872d