diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-09-02 15:07:17 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-09-02 15:07:17 +0100 |
| commit | f39f72db57a78b7f92f99377be0e05ec3db6dc98 (patch) | |
| tree | 789f733506520663e6cb5f99eec7d56c1a443831 /.gitattributes | |
| parent | 6ecb36740a81445cf103577c3f9e9e6f831d0a1b (diff) | |
| parent | f92177cfb5088809892455262841e24cf1ecf5b6 (diff) | |
Merge #1737
1737: Report type mismatches in analysis-stats r=matklad a=flodiebold
Only the number usually; each one individually when running with `-v`.
Getting the file/line locations for the exprs was really annoying and I had to make some stuff public (that I didn't remember why it would be `pub(crate)`); maybe I missed some easier way? It would be nice to have some general way for mapping locations :thinking:
This reports 1768 mismatches on RA currently; from skimming, this seems to be mostly various kinds of coercions, though there were also some other things.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions