<feed xmlns='http://www.w3.org/2005/Atom'>
<title>rust/tests/ui/nll/polonius/iterating-updating-cursor-issue-108704.nll.stderr, branch master</title>
<subtitle>https://github.com/rust-lang/rust
</subtitle>
<id>http://git.dreamy.place/mirrors/rust/atom?h=master</id>
<link rel='self' href='http://git.dreamy.place/mirrors/rust/atom?h=master'/>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/'/>
<updated>2025-08-08T15:15:09+00:00</updated>
<entry>
<title>mark polonius=next's NLL imprecisions as known-bugs</title>
<updated>2025-08-08T15:15:09+00:00</updated>
<author>
<name>Rémy Rakic</name>
<email>remy.rakic+github@gmail.com</email>
</author>
<published>2025-08-08T14:29:50+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=b99fe2b72022f4fe7a6f2e55fd70cc8530566473'/>
<id>urn:sha1:b99fe2b72022f4fe7a6f2e55fd70cc8530566473</id>
<content type='text'>
- linked-list cursor-like patterns
- issue-46589

These are known-bugs for the polonius alpha, where they show the same
imprecision as NLLs, but are supported by the old datalog
implementation.
</content>
</entry>
<entry>
<title>add multiple known-bugs for the linked-list cursor-like pattern of 46859/48001</title>
<updated>2025-08-07T13:33:35+00:00</updated>
<author>
<name>Rémy Rakic</name>
<email>remy.rakic+github@gmail.com</email>
</author>
<published>2025-08-07T13:33:35+00:00</published>
<link rel='alternate' type='text/html' href='http://git.dreamy.place/mirrors/rust/commit/?id=202963f2215245180fa985f3640a582554656253'/>
<id>urn:sha1:202963f2215245180fa985f3640a582554656253</id>
<content type='text'>
these are fixed by polonius=legacy, are currently accepted by
polonius=next but won't be by the alpha analysis
</content>
</entry>
</feed>
