Fix: Use doc_binding for printing scattered mapping types

Issue with pretty-printing mapping clauses types fixed by both
cf7eb8b83 and 0e2f1710a, so remove the redundant clauses. In the
parser we allow both

```
  | Mapping id
    { mk_sd (SD_mapping ($2, mk_tannotn)) $startpos $endpos }
  | Mapping id Colon funcl_typ
    { mk_sd (SD_mapping ($2, $4)) $startpos $endpos }
```

so we should probably use doc_binding to correctly print any
quantifier on the funcl_typ. Although since polymorphism and mappings
don't play nicely together right now this likely doesn't occur very
often in practice.

0 files changed, 0 insertions, 0 deletions