refine todo

asukaminato0721 · asukaminato0721 · commit 1fd3c77e973d · 2026-04-23T02:05:17.000+09:00
diff --git a/crates/hir-ty/src/infer/closure.rs b/crates/hir-ty/src/infer/closure.rs
@@ -131,7 +131,7 @@ impl<'db> InferenceContext<'_, 'db> {
                         self.table.next_ty_var()
                     }
                     ClosureKind::Coroutine { kind: CoroutineKind::AsyncGen, .. } => {
-                        todo!()
+                        todo!("Poll<Option<ItemTy>>")
                     }
                     _ => unreachable!(),
                 };
@@ -177,7 +177,7 @@ impl<'db> InferenceContext<'_, 'db> {
                     CoroutineKind::Async => self.types.types.unit,
                     CoroutineKind::Gen => self.table.next_ty_var(),
                     CoroutineKind::AsyncGen => {
-                        todo!()
+                        todo!("Poll<Option<ItemTy>>")
                     }
                 };
                 // Compute all of the variables that will be used to populate the coroutine.

Original file line number	Diff line number	Diff line change
`@@ -131,7 +131,7 @@ impl<'db> InferenceContext<'_, 'db> {`
`131`	`131`	`self.table.next_ty_var()`
`132`	`132`	`}`
`133`	`133`	`ClosureKind::Coroutine { kind: CoroutineKind::AsyncGen, .. } => {`
`134`		`- todo!()`
	`134`	`+ todo!("Poll<Option<ItemTy>>")`
`135`	`135`	`}`
`136`	`136`	`_ => unreachable!(),`
`137`	`137`	`};`
`@@ -177,7 +177,7 @@ impl<'db> InferenceContext<'_, 'db> {`
`177`	`177`	`CoroutineKind::Async => self.types.types.unit,`
`178`	`178`	`CoroutineKind::Gen => self.table.next_ty_var(),`
`179`	`179`	`CoroutineKind::AsyncGen => {`
`180`		`- todo!()`
	`180`	`+ todo!("Poll<Option<ItemTy>>")`
`181`	`181`	`}`
`182`	`182`	`};`
`183`	`183`	`// Compute all of the variables that will be used to populate the coroutine.`