<feed xmlns='http://www.w3.org/2005/Atom'>
<title>rust/src/test/ui/pattern/usefulness, branch 1.53.0</title>
<subtitle>https://github.com/rust-lang/rust
</subtitle>
<id>http://git.dreamy.place/mirrors/rust/atom?h=1.53.0</id>
<link rel='self' href='http://git.dreamy.place/mirrors/rust/atom?h=1.53.0'/>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/'/>
<updated>2021-04-03T20:30:20+00:00</updated>
<entry>
<title>Remove redundant `ignore-tidy-linelength` annotations</title>
<updated>2021-04-03T20:30:20+00:00</updated>
<author>
<name>Simon Jakobi</name>
<email>simon.jakobi@gmail.com</email>
</author>
<published>2021-04-03T11:05:11+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=3ea62cb5d19846b44172d861ae231c8c09322800'/>
<id>urn:sha1:3ea62cb5d19846b44172d861ae231c8c09322800</id>
<content type='text'>
This is step 2 towards fixing #77548.

In the codegen and codegen-units test suites, the `//` comment markers
were kept in order not to affect any source locations. This is because
these tests cannot be automatically `--bless`ed.
</content>
</entry>
<entry>
<title>Add explanations and suggestions to `irrefutable_let_patterns` lint</title>
<updated>2021-02-19T00:21:16+00:00</updated>
<author>
<name>Camelid</name>
<email>camelidcamel@gmail.com</email>
</author>
<published>2020-12-05T21:12:39+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=5d2a2a1caa1a12a5c445fcc99e2dee42e5a5f3d7'/>
<id>urn:sha1:5d2a2a1caa1a12a5c445fcc99e2dee42e5a5f3d7</id>
<content type='text'>
</content>
</entry>
<entry>
<title>replace if-let and while-let with `if let` and `while let`</title>
<updated>2021-02-17T10:26:38+00:00</updated>
<author>
<name>Takayuki Maeda</name>
<email>takoyaki0316@gmail.com</email>
</author>
<published>2021-02-17T10:26:38+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=0f04875d2e21919e5f716b9946407ba07de08840'/>
<id>urn:sha1:0f04875d2e21919e5f716b9946407ba07de08840</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Add match pattern diagnostics regression test</title>
<updated>2021-02-13T13:13:14+00:00</updated>
<author>
<name>Bram van den Heuvel</name>
<email>bram@vandenheuvel.online</email>
</author>
<published>2021-02-08T20:43:52+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=5fe84900464aa382e85eab6132e778b7c9d8141e'/>
<id>urn:sha1:5fe84900464aa382e85eab6132e778b7c9d8141e</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Auto merge of #80632 - Nadrieril:fix-80501, r=varkor</title>
<updated>2021-02-07T16:48:57+00:00</updated>
<author>
<name>bors</name>
<email>bors@rust-lang.org</email>
</author>
<published>2021-02-07T16:48:57+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=36ecbc94eb6be90bc38b2d0fdd4bfac3f34d9923'/>
<id>urn:sha1:36ecbc94eb6be90bc38b2d0fdd4bfac3f34d9923</id>
<content type='text'>
Identify unreachable subpatterns more reliably

In https://github.com/rust-lang/rust/pull/80104 I used `Span`s to identify unreachable sub-patterns in the presence of or-patterns during exhaustiveness checking. In https://github.com/rust-lang/rust/issues/80501 it was revealed that `Span`s are complicated and that this was not a good idea.
Instead, this PR identifies subpatterns logically: as a path in the tree of subpatterns of a given pattern. I made a struct that captures a set of such subpatterns. This is a bit complex, but thankfully self-contained; the rest of the code does not need to know anything about it.
Fixes https://github.com/rust-lang/rust/issues/80501. I think I managed to keep the perf neutral.

r? `@varkor`
</content>
</entry>
<entry>
<title>path trimming: ignore type aliases</title>
<updated>2021-02-06T10:03:48+00:00</updated>
<author>
<name>Dan Aloni</name>
<email>alonid@gmail.com</email>
</author>
<published>2021-01-28T16:01:36+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=eaefe4a230d7c32d7c99da437ee8b87860f28704'/>
<id>urn:sha1:eaefe4a230d7c32d7c99da437ee8b87860f28704</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Identify subpatterns by the path to them instead of spans</title>
<updated>2021-01-24T20:28:30+00:00</updated>
<author>
<name>Nadrieril</name>
<email>nadrieril+git@gmail.com</email>
</author>
<published>2021-01-01T22:14:35+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=307a278d5c7afec2e329f5143022a352191a082d'/>
<id>urn:sha1:307a278d5c7afec2e329f5143022a352191a082d</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Add tests</title>
<updated>2021-01-24T20:28:28+00:00</updated>
<author>
<name>Nadrieril</name>
<email>nadrieril+git@gmail.com</email>
</author>
<published>2021-01-02T22:38:18+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=3c1a1c622776da5741f178658c611ccf0f75755f'/>
<id>urn:sha1:3c1a1c622776da5741f178658c611ccf0f75755f</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Add tests for uninhabited types</title>
<updated>2021-01-12T19:59:10+00:00</updated>
<author>
<name>Nadrieril</name>
<email>nadrieril+git@gmail.com</email>
</author>
<published>2020-12-02T23:11:29+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=b82f149d08a0afcc17afa54f5bb3c7031babd44a'/>
<id>urn:sha1:b82f149d08a0afcc17afa54f5bb3c7031babd44a</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Deduplicate some tests using revisions</title>
<updated>2021-01-12T19:59:10+00:00</updated>
<author>
<name>Nadrieril</name>
<email>nadrieril+git@gmail.com</email>
</author>
<published>2020-12-02T20:24:20+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=622bfdb2fdfc3da9ca2959b5e9ae686b1c9ed249'/>
<id>urn:sha1:622bfdb2fdfc3da9ca2959b5e9ae686b1c9ed249</id>
<content type='text'>
</content>
</entry>
</feed>
