diff options
| author | Ellen <supbscripter@gmail.com> | 2022-08-01 15:42:38 +0100 |
|---|---|---|
| committer | Ellen <supbscripter@gmail.com> | 2022-08-01 15:42:38 +0100 |
| commit | 825a7cc65c4b21fd4f1b8f3b9ad204594de1e8c2 (patch) | |
| tree | cecde661d63e82a93e92a2729f7d861b466f0683 /compiler/rustc_traits/src/chalk | |
| parent | 1f5d8d49eb6111931091f700d07518cd2b80bc18 (diff) | |
| download | rust-825a7cc65c4b21fd4f1b8f3b9ad204594de1e8c2.tar.gz rust-825a7cc65c4b21fd4f1b8f3b9ad204594de1e8c2.zip | |
make `PlaceholderConst` not store the type of the const
Diffstat (limited to 'compiler/rustc_traits/src/chalk')
| -rw-r--r-- | compiler/rustc_traits/src/chalk/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_traits/src/chalk/mod.rs b/compiler/rustc_traits/src/chalk/mod.rs index db7ea4253e3..f76386fa720 100644 --- a/compiler/rustc_traits/src/chalk/mod.rs +++ b/compiler/rustc_traits/src/chalk/mod.rs @@ -76,7 +76,7 @@ pub(crate) fn evaluate_goal<'tcx>( chalk_ir::UniverseIndex { counter: ui.index() }, ), CanonicalVarKind::Const(_ui, _ty) => unimplemented!(), - CanonicalVarKind::PlaceholderConst(_pc) => unimplemented!(), + CanonicalVarKind::PlaceholderConst(_pc, _ty) => unimplemented!(), }), ), value: obligation.value.lower_into(interner), |