diff options
author | gregce <gregce@google.com> | 2017-06-05 15:33:48 -0400 |
---|---|---|
committer | John Cater <jcater@google.com> | 2017-06-06 09:50:36 -0400 |
commit | cd95f3cbd25c58d7fba964ac8b61ef63fb8585c1 (patch) | |
tree | aa47dff4db3e601b20084d35d0b0870b6bbb632e /src/test/gen | |
parent | 227744a30277ada72b1279680668528950095ac3 (diff) |
Make compatible_with = ["all", "foo"] the same as compatible_with = ["all"].
Assuming "all" fulfills "foo", these should be exactly the same (and
maybe we should trigger a redundant listing error). In practice, it's
possible to make the first case succeed while the second fails because of
environment refining and lack of static constraint checking for selects.
See changes for details.
Also refactor ConstraintSemantics.checkConstraints to divide and conquer more clearly.
PiperOrigin-RevId: 158047217
Diffstat (limited to 'src/test/gen')
0 files changed, 0 insertions, 0 deletions