diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-20 18:38:27 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-06-20 18:38:27 +0100 |
commit | 3898387f3bd579c0c5415ecb7c7b3d3923947f2f (patch) | |
tree | c30eec53f9330ac571e4f10e3191f7507b2b0fcf /crates/base_db/src | |
parent | 8cc2b710db6ea851f0c4b636172861df98ba5ead (diff) | |
parent | a1120b6879afe39f69a04eb0f6ee84d4cb4e03f6 (diff) |
Merge #9346
9346: Refactor / clean up hir_ty tests r=flodiebold a=flodiebold
Notable changes:
- unify `check_types` and `check_mismatches` into `check`, which supports both kinds of annotations (`check_types` still exists because I didn't want to change all the annotations, but uses the same implementation)
- because of that, `check_types` now fails on any type mismatches; also annotations always have to hit the exact range
- there's also `check_no_mismatches` for when we explicitly just want to check that there are no type mismatches without giving any annotations (`check` will fail without annotations)
- test annotations can now be overlapping (they point to the nearest line that has actual code in that range):
```
// ^^^^ annotation
// ^^^^^^^^^ another annotation
```
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'crates/base_db/src')
0 files changed, 0 insertions, 0 deletions