From c16d460720c100587c22a0124b4ac0a923d167e5 Mon Sep 17 00:00:00 2001 From: Marco Castelluccio Date: Mon, 30 Sep 2019 23:54:30 +0000 Subject: [PATCH] servo: Merge #1328 - Work around Rust bug causing nondeterministic CSS parse failure (from kmcallister:properties); r=jdm The bug is mozilla/rust#10683 and there's no fix yet, plus it would take us a while to upgrade Rust anyway. Fixes #1258. Source-Repo: https://github.com/servo/servo Source-Revision: 148d1720e539c36ed44efdc7ebf3e45f25388f13 UltraBlame original commit: 28bc03c8fa39fea27af15f247cb7cc3c3f6fe31d --- servo/src/components/style/properties.rs.mako | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) diff --git a/servo/src/components/style/properties.rs.mako b/servo/src/components/style/properties.rs.mako index 0381d23a15b68..3a1000abee9dd 100644 --- a/servo/src/components/style/properties.rs.mako +++ b/servo/src/components/style/properties.rs.mako @@ -6907,12 +6907,29 @@ PropertyDeclaration > PropertyDeclarationParseResult { -match +/ +/ +FIXME +: +local +variable +to +work +around +Rust +# +10683 +let +name_lower += name . to_ascii_lower ( ) +; +match +name_lower . as_slice (