lcnr 646e667200 add a #[rustc_coinductive] attribute		2023-02-14 11:53:22 +01:00
..
src	add a #[rustc_coinductive] attribute	2023-02-14 11:53:22 +01:00
Cargo.toml	passes: migrate half of check_attr	2022-07-15 16:13:49 +01:00