diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-05-26 21:43:53 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2021-05-26 21:43:53 +0100 |
commit | 666fc1cec10a41f88db56dfb339785eb1e7dd521 (patch) | |
tree | b06cb9f920a95da9289005e8a8b98d15834be439 /crates/hir_ty/src/infer/unify.rs | |
parent | 8389510f8d15e67ab112343ef876db1c8b01e36e (diff) | |
parent | 7d865ef071a78736866a9e73d0348352f4332754 (diff) |
Merge #9015
9015: Merge pattern completion related bools into an enum r=Veykril a=Veykril
The two bools can never both be set so this is basically just a tri-state enum.
bors r+
Co-authored-by: Lukas Wirth <[email protected]>
Diffstat (limited to 'crates/hir_ty/src/infer/unify.rs')
0 files changed, 0 insertions, 0 deletions