Florian Diebold 194dd9eb0d 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.

2020-05-22 21:05:28 +02:00

..

src

Use Chalk's Ty::Function for function pointer types

2020-05-22 21:05:28 +02:00

Cargo.toml

Update Chalk

2020-05-22 16:40:42 +02:00