add a #[rustc_coinductive] attribute

2023-02-14 10:17:19 +01:00 · 2023-02-14 10:17:19 +01:00 · 646e667200
commit 646e667200
parent e9ab7872fd
7 changed files with 44 additions and 33 deletions
--- a/compiler/rustc_span/src/symbol.rs
+++ b/compiler/rustc_span/src/symbol.rs
@ -1224,6 +1224,7 @@ symbols! {
        rustc_capture_analysis,
        rustc_clean,
        rustc_coherence_is_core,
+        rustc_coinductive,
        rustc_const_stable,
        rustc_const_unstable,
        rustc_conversion_suggestion,