diff options
| author | Thomas Bauereiss | 2020-04-12 21:02:30 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2020-04-21 14:02:39 +0100 |
| commit | 5bc66aaca59084f2e9b276f0e9c2d4cb7325fef1 (patch) | |
| tree | ce7f0bff5c61b4182281a29e4da4144d1a1ae971 /test/run_tests.sh | |
| parent | ce927d2003375e585fb814ac1f79d8c2dfac806c (diff) | |
Mono: Extract more kid instantiations from assertions
Ask the type checker instead of looking at the expression syntax. This
also discovers implied instantiations, e.g. if we previously knew
('N in {32, 64}) and we have an assertion ('N != 32), then we know
('N == 64).
Diffstat (limited to 'test/run_tests.sh')
0 files changed, 0 insertions, 0 deletions