diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-09-09 18:20:39 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-09-09 18:20:39 +0100 |
| commit | 5c336e266fe09ae9ae6e634513d441cbcde63696 (patch) | |
| tree | 1572fa9047870f4fc092d74ec62231d7a8d6761d /docs/user | |
| parent | 60c8941097f3674ed4b583925603b5ec43833f0c (diff) | |
| parent | bf0b194fed03d88b1217e921799638cb80bb9df8 (diff) | |
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 <[email protected]>
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions