diff options
| author | Florian Diebold <[email protected]> | 2019-12-21 18:15:06 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-12-22 23:08:03 +0000 |
| commit | 1f7f4578f72721c1b0e17e8405f986fd2ce89aaf (patch) | |
| tree | efe0fe32ff3d2cc5981206ad1a7777824cf9de05 /editors/emacs | |
| parent | 4053fcfca0e33f133c53fa755c1b1bcc0b4c11bb (diff) | |
Filter out error predicates in type bounds as well
Diffstat (limited to 'editors/emacs')
0 files changed, 0 insertions, 0 deletions