mirror of
https://github.com/servo/servo.git
synced 2025-10-04 02:29:12 +01:00
4f4d480326
Do the same we do for classes for now. We could be more precise and achieve a bit more sharing with some more effort (left a comment there), but it seems unlikely to matter in practice (and if we did that, we'd probably want to do the same for classes). Differential Revision: https://phabricator.services.mozilla.com/D58453 |
||
|---|---|---|
| .. | ||
| checks.rs | ||
| mod.rs | ||