Trait rustc_infer::infer::combine::ConstEquateRelation
source · pub trait ConstEquateRelation<'tcx>: TypeRelation<'tcx> {
fn const_equate_obligation(&mut self, a: Const<'tcx>, b: Const<'tcx>);
}
Required Methods
sourcefn const_equate_obligation(&mut self, a: Const<'tcx>, b: Const<'tcx>)
fn const_equate_obligation(&mut self, a: Const<'tcx>, b: Const<'tcx>)
Register an obligation that both constants must be equal to each other.
If they aren’t equal then the relation doesn’t hold.