diff options
| author | Will Crichton <wcrichto@cs.stanford.edu> | 2022-04-26 13:59:08 -0700 |
|---|---|---|
| committer | Will Crichton <wcrichto@cs.stanford.edu> | 2022-07-15 18:06:18 -0700 |
| commit | e5bb7d80d698102175dbbb4094bec03b682e8399 (patch) | |
| tree | 9fd7f8f06bc7b5f5d2c0323c26cb16056747f387 /compiler/rustc_middle/src/traits | |
| parent | 8c1cc82a82ebfbea731258063115992b2dd4adee (diff) | |
| download | rust-e5bb7d80d698102175dbbb4094bec03b682e8399.tar.gz rust-e5bb7d80d698102175dbbb4094bec03b682e8399.zip | |
Propagate Expectation around binop typeck code to construct more precise trait obligations for binops.
Diffstat (limited to 'compiler/rustc_middle/src/traits')
| -rw-r--r-- | compiler/rustc_middle/src/traits/mod.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_middle/src/traits/mod.rs b/compiler/rustc_middle/src/traits/mod.rs index d8cc7d3feb0..945cdfbb0e9 100644 --- a/compiler/rustc_middle/src/traits/mod.rs +++ b/compiler/rustc_middle/src/traits/mod.rs @@ -12,7 +12,7 @@ pub mod util; use crate::infer::canonical::Canonical; use crate::ty::abstract_const::NotConstEvaluatable; use crate::ty::subst::SubstsRef; -use crate::ty::{self, AdtKind, Ty, TyCtxt}; +use crate::ty::{self, AdtKind, Predicate, Ty, TyCtxt}; use rustc_data_structures::sync::Lrc; use rustc_errors::{Applicability, Diagnostic}; @@ -414,6 +414,7 @@ pub enum ObligationCauseCode<'tcx> { BinOp { rhs_span: Option<Span>, is_lit: bool, + output_pred: Option<Predicate<'tcx>>, }, } |