Trait rustc_infer::infer::combine::ConstEquateRelation

pub trait ConstEquateRelation<'tcx>: TypeRelation<'tcx> {
    fn const_equate_obligation(
        &mut self, 
        a: &'tcx Const<'tcx>, 
        b: &'tcx Const<'tcx>
    );
}

Required methods

fn const_equate_obligation(
    &mut self,
    a: &'tcx Const<'tcx>,
    b: &'tcx 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.

Implementors

impl<'tcx> ConstEquateRelation<'tcx> for Equate<'_, '_, 'tcx>

impl<'tcx> ConstEquateRelation<'tcx> for Glb<'_, '_, 'tcx>

impl<'tcx> ConstEquateRelation<'tcx> for Lub<'_, '_, 'tcx>

impl<'tcx> ConstEquateRelation<'tcx> for Sub<'_, '_, 'tcx>

impl<'tcx, D> ConstEquateRelation<'tcx> for TypeRelating<'_, 'tcx, D> where
    D: TypeRelatingDelegate<'tcx>,