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