[Merged by Bors] - fix: remove second type from test in `order.lean` #30510

vasnesterov wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

vasnesterov:order_test_fixvasnesterov/mathlib4:order_test_fixCopy head branch name to clipboard