Skip to content

lft is EqDecision and Countable

Lennard Gäherrequested to merge
lgaeher/lambda-rust:lennard/lft_countable into master

This adds EqDecision and Countable instances for lft to the lifetime logic's interface, analogously to the existing instances for atomic_lft.

These instances are used by RefinedRust (I overlooked them in my previous MR !38 (merged), and we only just noticed when porting to get rid of our fork of lambda-rust; sorry for the trouble!)

Merge request reports