diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-08 10:37:37 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-06-08 10:37:37 +0100 |
commit | bb0d4600fff40565ed679c0d879c7a9256570b61 (patch) | |
tree | 6753f0736877a18798d01be1f210e9d62338725c /.github | |
parent | b366b98a9e8f70711eba6965817a063565009f6a (diff) | |
parent | d66daee84906358c0119ed2eb29386454f5e4350 (diff) |
Merge #4770
4770: Clean up handling of int/float literal types r=matklad a=flodiebold
'Unknown' int/float types actually never exist as such, they get replaced by type variables immediately. So the whole `Uncertain<IntTy>` thing was unnecessary and just led to a bunch of match branches that were never hit.
Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions