Fix WF for AsyncFnKindHelper in new trait solver

This commit is contained in:
Michael Goulet
2024-03-12 16:07:01 -04:00
parent dc2ffa4054
commit dd0f41f003

View File

@@ -2436,8 +2436,9 @@ impl<'tcx> Ty<'tcx> {
},
// "Bound" types appear in canonical queries when the
// closure type is not yet known
Bound(..) | Param(_) | Infer(_) => None,
// closure type is not yet known, and `Placeholder` and `Param`
// may be encountered in generic `AsyncFnKindHelper` goals.
Bound(..) | Placeholder(_) | Param(_) | Infer(_) => None,
Error(_) => Some(ty::ClosureKind::Fn),