diff options
| author | Michael Goulet <michael@errs.io> | 2024-03-12 16:07:01 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-03-12 16:07:01 -0400 |
| commit | dd0f41f003d141efec3404e4b750589b348bd5c6 (patch) | |
| tree | 9e81650b25232fa93bb8e60f210feacb2fc56617 | |
| parent | dc2ffa405407ffb3654658c50ab3dfda124fbdfd (diff) | |
| download | rust-dd0f41f003d141efec3404e4b750589b348bd5c6.tar.gz rust-dd0f41f003d141efec3404e4b750589b348bd5c6.zip | |
Fix WF for AsyncFnKindHelper in new trait solver
| -rw-r--r-- | compiler/rustc_middle/src/ty/sty.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/rustc_middle/src/ty/sty.rs b/compiler/rustc_middle/src/ty/sty.rs index cac12e5ee0b..11065b2a382 100644 --- a/compiler/rustc_middle/src/ty/sty.rs +++ b/compiler/rustc_middle/src/ty/sty.rs @@ -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), |