polonius « nll « ui « tests - rust - https://github.com/rust-lang/rust

Mode	Name	Size
-rw-r--r--	array-literal-index-oob-2024.rs	365	log plain
-rw-r--r--	assignment-kills-loans.rs	2743	log plain
-rw-r--r--	assignment-to-differing-field.legacy.stderr	2502	log plain
-rw-r--r--	assignment-to-differing-field.polonius.stderr	2502	log plain
-rw-r--r--	assignment-to-differing-field.rs	1458	log plain
-rw-r--r--	call-kills-loans.rs	760	log plain
-rw-r--r--	filtering-lending-iterator-issue-92985.nll.stderr	739	log plain
-rw-r--r--	filtering-lending-iterator-issue-92985.rs	1604	log plain
-rw-r--r--	flow-sensitive-invariance.nll.stderr	1927	log plain
-rw-r--r--	flow-sensitive-invariance.polonius.stderr	1927	log plain
-rw-r--r--	flow-sensitive-invariance.rs	1189	log plain
-rw-r--r--	iterating-updating-cursor-issue-108704.nll.stderr	572	log plain
-rw-r--r--	iterating-updating-cursor-issue-108704.polonius.stderr	572	log plain
-rw-r--r--	iterating-updating-cursor-issue-108704.rs	1271	log plain
-rw-r--r--	iterating-updating-cursor-issue-57165.nll.stderr	916	log plain
-rw-r--r--	iterating-updating-cursor-issue-57165.polonius.stderr	916	log plain
-rw-r--r--	iterating-updating-cursor-issue-57165.rs	1139	log plain
-rw-r--r--	iterating-updating-cursor-issue-63908.nll.stderr	807	log plain
-rw-r--r--	iterating-updating-cursor-issue-63908.polonius.stderr	807	log plain
-rw-r--r--	iterating-updating-cursor-issue-63908.rs	1140	log plain
-rw-r--r--	iterating-updating-mutref.nll.stderr	719	log plain
-rw-r--r--	iterating-updating-mutref.rs	2382	log plain
-rw-r--r--	lending-iterator-sanity-checks.legacy.stderr	1184	log plain
-rw-r--r--	lending-iterator-sanity-checks.nll.stderr	1184	log plain
-rw-r--r--	lending-iterator-sanity-checks.polonius.stderr	1037	log plain
-rw-r--r--	lending-iterator-sanity-checks.rs	2235	log plain
-rw-r--r--	location-insensitive-scopes-issue-116657.nll.stderr	1448	log plain
-rw-r--r--	location-insensitive-scopes-issue-116657.polonius.stderr	1448	log plain
-rw-r--r--	location-insensitive-scopes-issue-116657.rs	936	log plain
-rw-r--r--	location-insensitive-scopes-issue-117146.nll.stderr	1855	log plain
-rw-r--r--	location-insensitive-scopes-issue-117146.polonius.stderr	1855	log plain
-rw-r--r--	location-insensitive-scopes-issue-117146.rs	675	log plain
-rw-r--r--	location-insensitive-scopes-liveness.rs	1343	log plain
-rw-r--r--	nll-problem-case-3-issue-112087.nll.stderr	712	log plain
-rw-r--r--	nll-problem-case-3-issue-112087.rs	862	log plain
-rw-r--r--	nll-problem-case-3-issue-123839.nll.stderr	754	log plain
-rw-r--r--	nll-problem-case-3-issue-123839.rs	1280	log plain
-rw-r--r--	nll-problem-case-3-issue-124070.nll.stderr	684	log plain
-rw-r--r--	nll-problem-case-3-issue-124070.rs	830	log plain
-rw-r--r--	nll-problem-case-3-issue-124254.nll.stderr	1614	log plain
-rw-r--r--	nll-problem-case-3-issue-124254.rs	1672	log plain
-rw-r--r--	nll-problem-case-3-issue-21906.nll.stderr	3914	log plain
-rw-r--r--	nll-problem-case-3-issue-21906.rs	1825	log plain
-rw-r--r--	nll-problem-case-3-issue-51526.nll.stderr	711	log plain
-rw-r--r--	nll-problem-case-3-issue-51526.rs	943	log plain
-rw-r--r--	nll-problem-case-3-issue-51545.nll.stderr	654	log plain
-rw-r--r--	nll-problem-case-3-issue-51545.rs	902	log plain
-rw-r--r--	nll-problem-case-3-issue-54663.nll.stderr	633	log plain
-rw-r--r--	nll-problem-case-3-issue-54663.rs	795	log plain
-rw-r--r--	nll-problem-case-3-issue-58787.nll.stderr	3620	log plain
-rw-r--r--	nll-problem-case-3-issue-58787.rs	1600	log plain
-rw-r--r--	nll-problem-case-3-issue-68934.nll.stderr	861	log plain
-rw-r--r--	nll-problem-case-3-issue-68934.rs	1195	log plain
-rw-r--r--	polonius-smoke-test.legacy.stderr	1879	log plain
-rw-r--r--	polonius-smoke-test.polonius.stderr	1879	log plain
-rw-r--r--	polonius-smoke-test.rs	1031	log plain
-rw-r--r--	storagedead-kills-loans.rs	1126	log plain
-rw-r--r--	subset-relations.legacy.stderr	508	log plain
-rw-r--r--	subset-relations.polonius.stderr	508	log plain
-rw-r--r--	subset-relations.rs	1028	log plain