aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-06-08 10:37:37 +0100
committerGitHub <[email protected]>2020-06-08 10:37:37 +0100
commitbb0d4600fff40565ed679c0d879c7a9256570b61 (patch)
tree6753f0736877a18798d01be1f210e9d62338725c /.github
parentb366b98a9e8f70711eba6965817a063565009f6a (diff)
parentd66daee84906358c0119ed2eb29386454f5e4350 (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