Make can_eq process obligations (almost) everywhere
#127172
Merged
can_eq process obligations (almost) everywhere
#127172