diff options
| author | lcnr <rust@lcnr.de> | 2021-08-02 08:47:15 +0200 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2021-08-26 11:00:30 +0200 |
| commit | bc0156baceed60a4dbfd063554e66bc69b3b0bd4 (patch) | |
| tree | 0c075dbd7fe5e608b61f71997902d5c919d36704 /compiler/rustc_infer/src/infer | |
| parent | 283e0e670b7b6f925d5973f2b2b373304b17b114 (diff) | |
| download | rust-bc0156baceed60a4dbfd063554e66bc69b3b0bd4.tar.gz rust-bc0156baceed60a4dbfd063554e66bc69b3b0bd4.zip | |
shrink `ty::PredicateKind` again
Diffstat (limited to 'compiler/rustc_infer/src/infer')
| -rw-r--r-- | compiler/rustc_infer/src/infer/mod.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_infer/src/infer/mod.rs b/compiler/rustc_infer/src/infer/mod.rs index 7f890829e68..bc98a3aa3f9 100644 --- a/compiler/rustc_infer/src/infer/mod.rs +++ b/compiler/rustc_infer/src/infer/mod.rs @@ -675,8 +675,8 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> { /// canonicalizing the consts. pub fn try_unify_abstract_consts( &self, - a: ty::Unevaluated<'tcx>, - b: ty::Unevaluated<'tcx>, + a: ty::Unevaluated<'tcx, ()>, + b: ty::Unevaluated<'tcx, ()>, ) -> bool { let canonical = self.canonicalize_query((a, b), &mut OriginalQueryValues::default()); debug!("canonical consts: {:?}", &canonical.value); |