mirror of
https://github.com/servo/servo.git
synced 2025-10-12 06:20:26 +01:00
This "fixes" bug 1381821 by disabling the optimization in the cases we can't prove this is correct. Bug 1387116 tracks fixing the optimization to apply more broadly. Bug: 1381821 Reviewed-by: bz MozReview-Commit-ID: COKdmHHokGx |
||
---|---|---|
.. | ||
checks.rs | ||
mod.rs |