diff options
author | Florian Diebold <[email protected]> | 2019-05-05 13:42:12 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2019-05-11 15:21:20 +0100 |
commit | 58b68966bf0e0d5ae5c56e2da1d6def5e0ec0925 (patch) | |
tree | 2d92dbadd7f6cbf756766040eec8685688415241 /.gitignore | |
parent | 50bbf9eb09dc34781cc34e10bfba5f154e833123 (diff) |
Handle resolution errors in where clauses
This is slightly hacky, but maybe more elegant than alternative solutions: We
just use a hardcoded Chalk trait ID which we special-case to have no impls.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions