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/code/src | |
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/code/src')
0 files changed, 0 insertions, 0 deletions