diff options
| author | Aleksey Kladov <[email protected]> | 2020-04-18 21:16:04 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-04-18 21:16:04 +0100 |
| commit | b79fd82559642f4fe504c0c382b86d57c666be1d (patch) | |
| tree | 4c3f7ae6e5c7569f4759787f44718496e8a6f79a /.gitignore | |
| parent | fa2ea8f494d8434da705dc0e0f047f3bd7503af9 (diff) | |
Correctly infer types in guard expressions
The root cause was that we forgot to add bindings from the arm to the
guard expression
closes #3980
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions