`merge` claims something is a dependent, but it isn't

unisonweb / unison

A friendly programming language from the future

https://unison-lang.org

Other

5.64k stars 267 forks source link

Open mitchellwrosen opened 4 days ago

mitchellwrosen commented 4 days ago

To reproduce:

> clone @mitchellwrosen/bug-5125/main
> clone @mitchellwrosen/bug-5125/topic
> switch @mitchellwrosen/bug-5125/main
> merge /topic