cycles « next-solver « traits « ui « tests - rust - https://github.com/rust-lang/rust

Mode	Name	Size
d---------	coinduction	246	log plain
-rw-r--r--	double-cycle-inductive-coinductive.rs	850	log plain
-rw-r--r--	double-cycle-inductive-coinductive.stderr	1237	log plain
-rw-r--r--	fixpoint-rerun-all-cycle-heads.rs	1420	log plain
-rw-r--r--	fixpoint-rerun-all-cycle-heads.stderr	344	log plain
-rw-r--r--	inductive-cycle-but-err.rs	1212	log plain
-rw-r--r--	inductive-cycle-but-err.stderr	654	log plain
-rw-r--r--	inductive-cycle-but-ok.rs	1047	log plain
-rw-r--r--	inductive-cycle-discarded-coinductive-constraints.rs	648	log plain
-rw-r--r--	inductive-fixpoint-hang.rs	1261	log plain
-rw-r--r--	inductive-fixpoint-hang.stderr	629	log plain
-rw-r--r--	inductive-not-on-stack.rs	1169	log plain
-rw-r--r--	inductive-not-on-stack.stderr	1069	log plain
-rw-r--r--	leak-check-coinductive-cycle.rs	971	log plain
-rw-r--r--	mixed-cycles-1.rs	1011	log plain
-rw-r--r--	mixed-cycles-1.stderr	560	log plain
-rw-r--r--	mixed-cycles-2.rs	829	log plain
-rw-r--r--	mixed-cycles-2.stderr	560	log plain
-rw-r--r--	provisional-cache-impacts-behavior.rs	1856	log plain
-rw-r--r--	provisional-result-done.rs	663	log plain