[Merged by Bors] - feat: add the coercion from types satisfying StarAlgEquivClass
to StarAlgEquiv
#40883
The logs for this run have expired and are no longer available.
Loading