test(instance_diamonds): verify that restrict_scalars produces no diamonds on the complex numbers (#12273)
test(instance_diamonds): verify that restrict_scalars produces no diamonds on the complex numbers (#12273)

There is already a comment on `complex.module` that indicates an intentional solution to this diamond.





leanprover-community/mathlib,leanprover-community/mathlib