bors[bot] 5c336e266f Merge #5968 ... 5968: Lookup ADT and associated type names for chalk debugging / tweak chalk interner r=flodiebold a=nathanwhit This PR improves the chalk program writing integration by looking up the names for ADTs and associated types, making the output much more readable. There are also a few small changes to the interner, which gives some nice performance improvements. We clone `Ty`s and `ProgramClause`s relatively often in chalk, so wrapping them in `Arc`s is a perf win. This takes the time for performing type inference on the rust-analyzer codebase from 40s to 33s on my machine. Co-authored-by: Nathan Whitaker <nathan.whitaker01@gmail.com>		2020-09-09 17:20:39 +00:00
..
src	Tweak interner for chalk	2020-09-09 12:55:38 -04:00
Cargo.toml	Chalk 0.25	2020-09-02 14:07:06 -04:00