diff options
author | Aleksey Kladov <[email protected]> | 2021-06-14 20:42:43 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2021-06-14 20:42:43 +0100 |
commit | c2015e7d182f3cb2cebe686127dd6a3e683df9e6 (patch) | |
tree | eb46a7d8ad5f0549fd79a51268d79859a1cb6c2d /.github/workflows/metrics.yaml | |
parent | 4cfc767d7fadeab025227d67f104065c9e8a55d3 (diff) |
internal: more natural order of sources for TypeParam
We usually use first (left) variant of `Either` for "usual" case, and
use right for odd things. For example, pat source is Pat | SelfParam.
Diffstat (limited to '.github/workflows/metrics.yaml')
0 files changed, 0 insertions, 0 deletions