040000 tree 8da10da66a3f723c626b94a70780b37ba8efda47	coinduction
100644 blob 5c13a871a7b8d84fbe35ca4406dc4c39ae496e28	cycle-modulo-ambig-aliases.rs
100644 blob d350eb0f7795c64a85235ed67ecefe663ce329ed	cycle-modulo-ambig-aliases.stderr
100644 blob 0d3872142087a248036aa992e314b5e8562aaa86	double-cycle-inductive-coinductive.rs
100644 blob 7cedb4d36c98dae35a403636b2bce67b896477c0	double-cycle-inductive-coinductive.stderr
100644 blob f7ed0e100c466aada6c0f5776802b8edee483189	fixpoint-rerun-all-cycle-heads.rs
100644 blob 0cbd96540448cee10ebd6e985a69e09a8ed18742	fixpoint-rerun-all-cycle-heads.stderr
100644 blob b0c778e7f5742e0158bdb042c1da68921f68ece3	inductive-cycle-but-err.rs
100644 blob acacaf6a331d99062e720a39b2e0a6e85550662e	inductive-cycle-but-err.stderr
100644 blob edcf2e5472b494516b1ec8e074c59a9aef40ef6e	inductive-cycle-but-ok.rs
100644 blob 527ca812efb8bad21f4aa18f87556f2126b2ef73	inductive-cycle-discarded-coinductive-constraints.rs
100644 blob 9cbcc5a3cdf2fd2bc56e85fe9b9eb4eef475165d	inductive-fixpoint-hang.rs
100644 blob a2a5c028cf8d59dac18a4a2e6603c552a26a1252	inductive-fixpoint-hang.stderr
100644 blob 78683372580beb9456f11cffe0ef5845dcb462d4	inductive-not-on-stack.rs
100644 blob e9cc6bc6c81ad797f393c2101749a18145631778	inductive-not-on-stack.stderr
100644 blob c6ec4fd39de1139be6a390c48c003e56852903f8	leak-check-coinductive-cycle.rs
100644 blob 6d75d24186430bb3bf8a6e09d04b54ad3dc01153	mixed-cycles-1.rs
100644 blob 17544eb1da5280c76d52e247e8ba70747e9e9b41	mixed-cycles-1.stderr
100644 blob c939a6e5ef2f7e6a9a46986ee01385653c1ada2a	mixed-cycles-2.rs
100644 blob a9be1016c741230872311c1a42beb5a8b8122304	mixed-cycles-2.stderr
100644 blob b005b909aedbe30fbdfc3a42bc5caa8c8ae58594	provisional-cache-impacts-behavior.rs
100644 blob 683a4fe48317aa85f73fa2abb2a6a5f42382a8e7	provisional-result-done.rs