add broken completion case for result#674

Merged

zth merged 3 commits intomasterfrom

result-completion-pervasives

Jan 5, 2023

Commits on Jan 4, 2023

add broken completion case for result, which accidentally completes from Pervasives when it should complete from Belt.Result
zth
committed

Commits on Jan 5, 2023