rust/crates/hir_ty at 4bed588001a1d6cd5c83a3eefc6ef77c439de40b - squiid/rust

History

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

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