unison/unison-src/transcripts/fix5080.md

```ucm:hide
scratch/main> builtins.merge lib.builtins
```

```unison
test> fix5080.tests.success = [Ok "success"]
test> fix5080.tests.failure = [Fail "fail"]
```

```ucm:error
scratch/main> add
scratch/main> test
```

```ucm
scratch/main> delete.term 2
scratch/main> test
```