[−][src]Trait rustc_infer::infer::combine::ConstEquateRelation

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

Required methods

pub fn const_equate_obligation(
    &mut self,
    a: &'tcx Const<'tcx>,
    b: &'tcx Const<'tcx>
)[src]

Register an obligation that both constants must be equal to each other.

If they aren't equal then the relation doesn't hold.

Loading content...

Implementors

impl<'tcx, '_, '_> ConstEquateRelation<'tcx> for Equate<'_, '_, 'tcx>[src]

impl<'tcx, '_, '_> ConstEquateRelation<'tcx> for Glb<'_, '_, 'tcx>[src]

impl<'tcx, '_, '_> ConstEquateRelation<'tcx> for Lub<'_, '_, 'tcx>[src]

impl<'tcx, '_, '_> ConstEquateRelation<'tcx> for Sub<'_, '_, 'tcx>[src]

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

Loading content...