summaryrefslogtreecommitdiff
path: root/parse/infer.c
diff options
context:
space:
mode:
authorOri Bernstein <ori@markovcorp.com>2018-04-17 14:18:51 -0700
committerOri Bernstein <ori@markovcorp.com>2018-04-17 14:19:40 -0700
commitb433062cdda93b2eb1c4331a953d1ee5fbbd2bb4 (patch)
tree7e4a6e3778f67b5b978ad7e03ce05a3f1ae08eb4 /parse/infer.c
parentabe1191cd438e30dfb4708d42b4bc8260b258f14 (diff)
downloadmc-b433062cdda93b2eb1c4331a953d1ee5fbbd2bb4.tar.gz
Merge trait specs if provided.
This is a bit ugly, since if there are duplicate specs for a trait, we'll end up duplicating the constraints. On the other hand, since we put them into a set, it's mostly an esthetic issue.
Diffstat (limited to 'parse/infer.c')
0 files changed, 0 insertions, 0 deletions