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

Required Methods

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

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

Implementors