From ebeb7b228fb93a7631bf8a4903e94ed8055d13fa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20Cobos=20=C3=81lvarez?= <emilio@crisal.io>
Date: Mon, 25 Feb 2019 03:03:15 +0000
Subject: [PATCH] style: Simplify border-radius serialization.

Differential Revision: https://phabricator.services.mozilla.com/D20958
---
 components/style/values/generics/border.rs | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/components/style/values/generics/border.rs b/components/style/values/generics/border.rs
index ffd30e98678..a722548e732 100644
--- a/components/style/values/generics/border.rs
+++ b/components/style/values/generics/border.rs
@@ -145,11 +145,7 @@ where
         W: Write,
     {
         widths.to_css(dest)?;
-        if widths.0 != heights.0 ||
-            widths.1 != heights.1 ||
-            widths.2 != heights.2 ||
-            widths.3 != heights.3
-        {
+        if widths != heights {
             dest.write_str(" / ")?;
             heights.to_css(dest)?;
         }