diff options
| author | Boxy <supbscripter@gmail.com> | 2024-06-03 03:11:11 +0100 |
|---|---|---|
| committer | Boxy <supbscripter@gmail.com> | 2024-06-05 22:25:41 +0100 |
| commit | 8d6705cdb8e6da72c61dfd0feb80ec4061d448bd (patch) | |
| tree | 541bc1b8ca6b50a364328cf5adb096c2f969ebdc /compiler/rustc_middle/src/traits/mod.rs | |
| parent | a9702a66684f0e1f412d92a83761be2e461b69fb (diff) | |
| download | rust-8d6705cdb8e6da72c61dfd0feb80ec4061d448bd.tar.gz rust-8d6705cdb8e6da72c61dfd0feb80ec4061d448bd.zip | |
Fully implement `ConstArgHasType`
Diffstat (limited to 'compiler/rustc_middle/src/traits/mod.rs')
| -rw-r--r-- | compiler/rustc_middle/src/traits/mod.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/traits/mod.rs b/compiler/rustc_middle/src/traits/mod.rs index 62e71c4db11..63678ab659d 100644 --- a/compiler/rustc_middle/src/traits/mod.rs +++ b/compiler/rustc_middle/src/traits/mod.rs @@ -616,6 +616,8 @@ pub enum SelectionError<'tcx> { /// We can thus not know whether the hidden type implements an auto trait, so /// we should not presume anything about it. OpaqueTypeAutoTraitLeakageUnknown(DefId), + /// Error for a `ConstArgHasType` goal + ConstArgHasWrongType { ct: ty::Const<'tcx>, ct_ty: Ty<'tcx>, expected_ty: Ty<'tcx> }, } #[derive(Clone, Debug, TypeVisitable)] |