Trait rustc_infer::infer::combine::ConstEquateRelation

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

Required Methods

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.

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>,