diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2017-04-17 11:31:05 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-04-17 11:31:05 -0500 |
| commit | c6a1e003d792c7067d5f3ec792196d449a9b3bbf (patch) | |
| tree | 45d498ec45210fa54a7ee184d1869cb60b6fe91a /src/codegen/mod.rs | |
| parent | 76cc0887313a69c0242cbcea6c1d38ef73a61993 (diff) | |
| parent | 568b01114517a02e098c2bb39ca504dabfcc55c7 (diff) | |
Auto merge of #633 - fitzgen:stylo-stuff, r=emilio
Finish fixing blacklisting + template analysis
This is a follow up to c8a206a, and the support for blacklisting in the named template parameter usage analysis. This ensures that ever item we ever call `constrain` on has an entry in `used` for the set of template parameters it uses. Additionally, it adds extra assertions to enforce the invariant.
We cannot completely avoid analyzing blacklisted items because we want to consider all of a blacklisted template's parameters as used. This is why we ensure that blacklisted items have a used template parameter set rather than ensuring that blacklisted items never end up in the worklist.
This fixes the panic I saw in https://github.com/servo/servo/pull/16392, but there are still issues leftover in the resulting bindings that I am tracking down.
r? @emilio
Diffstat (limited to 'src/codegen/mod.rs')
0 files changed, 0 insertions, 0 deletions