diff options
| author | Florian Diebold <[email protected]> | 2021-04-07 19:08:50 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-07 19:08:50 +0100 |
| commit | 4c35df47e84b0eff51faa95b4c9636bb5f3da5eb (patch) | |
| tree | 5c8162da0bd04ddf319ca27226b5f55c4665d5e6 /.vscode | |
| parent | eb248d85a0eb91bae7bafcd69ffe4dfed3e32fce (diff) | |
Move `equals_ctor` to `TyExt`
I'd prefer getting rid of it, but it's used in the impl search and not
super easy to replace there (I think ideally the impl search would do
proper unification, but that's a bit more complicated).
Diffstat (limited to '.vscode')
0 files changed, 0 insertions, 0 deletions