about summary refs log tree commit diff
diff options
context:
space:
mode:
authorOli Scherer <git-spam-no-reply9815368754983@oli-obk.de>2024-04-13 06:17:07 +0000
committerOli Scherer <git-spam-no-reply9815368754983@oli-obk.de>2024-04-13 06:17:07 +0000
commitc9889b02b92d28ab4b97bd3c57f4fd06e801697d (patch)
treebd2708bc63ea918823fdaa49f174567908b890eb
parent6cfd80942e4599a6e429e8a2aa27af38f5987aa0 (diff)
downloadrust-c9889b02b92d28ab4b97bd3c57f4fd06e801697d.tar.gz
rust-c9889b02b92d28ab4b97bd3c57f4fd06e801697d.zip
fix coroutine witness doctest
-rw-r--r--compiler/rustc_type_ir/src/ty_kind.rs4
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_type_ir/src/ty_kind.rs b/compiler/rustc_type_ir/src/ty_kind.rs
index 56ae7ad9f74..397e104512f 100644
--- a/compiler/rustc_type_ir/src/ty_kind.rs
+++ b/compiler/rustc_type_ir/src/ty_kind.rs
@@ -181,9 +181,9 @@ pub enum TyKind<I: Interner> {
     /// Looking at the following example, the witness for this coroutine
     /// may end up as something like `for<'a> [Vec<i32>, &'a Vec<i32>]`:
     ///
-    /// ```ignore UNSOLVED (ask @compiler-errors, should this error? can we just swap the yields?)
+    /// ```
     /// #![feature(coroutines)]
-    /// |a| {
+    /// static |a| {
     ///     let x = &vec![3];
     ///     yield a;
     ///     yield x[0];