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	851	log plain
-rw-r--r--	double-cycle-inductive-coinductive.stderr	925	log plain
-rw-r--r--	fixpoint-rerun-all-cycle-heads.rs	1986	log plain
-rw-r--r--	fixpoint-rerun-all-cycle-heads.stderr	344	log plain
-rw-r--r--	inductive-cycle-but-err.rs	1213	log plain
-rw-r--r--	inductive-cycle-but-err.stderr	654	log plain
-rw-r--r--	inductive-cycle-but-ok.rs	1049	log plain
-rw-r--r--	inductive-cycle-discarded-coinductive-constraints.rs	650	log plain
-rw-r--r--	inductive-fixpoint-hang.rs	1262	log plain
-rw-r--r--	inductive-fixpoint-hang.stderr	484	log plain
-rw-r--r--	inductive-not-on-stack.rs	1170	log plain
-rw-r--r--	inductive-not-on-stack.stderr	781	log plain
-rw-r--r--	leak-check-coinductive-cycle.rs	973	log plain
-rw-r--r--	mixed-cycles-1.rs	1012	log plain
-rw-r--r--	mixed-cycles-1.stderr	424	log plain
-rw-r--r--	mixed-cycles-2.rs	830	log plain
-rw-r--r--	mixed-cycles-2.stderr	424	log plain
-rw-r--r--	provisional-cache-impacts-behavior.rs	1858	log plain
-rw-r--r--	provisional-result-done.rs	665	log plain