diff options
| author | Florian Diebold <[email protected]> | 2020-05-29 15:03:06 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-05-29 15:04:56 +0100 |
| commit | 7d0586cb15000193941f93d4b5281e56ef751edd (patch) | |
| tree | 84d3847e805b43b641ec7db04f78064835c1ee07 /docs/dev/guide.md | |
| parent | 190a0595a478d059fdd95a179fe38d59cb6379be (diff) | |
Use first match branch in case of type mismatch, not last
The comment says this was intentional, but I do agree with #4304 that it makes
more sense the other way around (for if/else as well).
Fixes #4304.
Diffstat (limited to 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions