assigned to @jung
Ah, we have solve_proper tests in tests/proper that also indirectly test f_equiv. (I was looking for a solve_proper file but could not find one.)
tests/proper
f_equiv
solve_proper
Still, cannot hurt to also have some very basic tests directly for f_equiv.
added 1 commit
Compare with previous version
changed the description
Sounds fine to me to have such tests.
Small nit, we typically use A and B as the metavariables for types, not T1 and T2.
A
B
T1
T2
enabled an automatic merge when the pipeline for 8323568a succeeds
merged
mentioned in commit e6914ec4