diff options
| author | Florian Diebold <[email protected]> | 2020-05-22 18:13:17 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-05-22 20:05:28 +0100 |
| commit | 194dd9eb0d44284f7e952a1e84296fcda4d90f5e (patch) | |
| tree | 0a8f9cd65553cd6cae0a4cf3598adfcf61ac9688 /editors | |
| parent | bfbc210bc1216b79e355eb70449caf08dc67d5ad (diff) | |
Use Chalk's Ty::Function for function pointer types
Function pointers can be 'higher-ranked' over lifetimes, which is why they're
not an application type in Chalk, but since we don't model lifetimes it doesn't
matter for us yet.
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions