Skip to content

Conversation

@flodiebold
Copy link
Member

Before:

Expressions of unknown type: 5526 (3%)
Expressions of partially unknown type: 5415 (3%)

After:

Expressions of unknown type: 4600 (2%)
Expressions of partially unknown type: 4645 (2%)

On the other hand,

'./target/release/rust-analyzer analysis-stats -q . # old solver' ran
    1.24 ± 0.04 times faster than 'rust-analyzer analysis-stats -q . # new solver'

I think part of this just comes from the fact that we're inferring more types now; but apart from that, it should be possible to improve the performance a bunch, and I'll make looking into that a priority.

@flodiebold flodiebold requested a review from matklad April 16, 2020 11:47
@matklad
Copy link
Contributor

matklad commented Apr 16, 2020

bors r+

Might be a good idea to run through issues linked to #2603 and add tests

@bors
Copy link
Contributor

bors bot commented Apr 16, 2020

@bors bors bot merged commit 7d60a44 into rust-lang:master Apr 16, 2020
@flodiebold flodiebold deleted the chalk-recursive-solver branch April 16, 2020 12:57
}

#[test]
fn proc_macro_server_types() {
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ah btw this is code from RA that isn't working yet; even though we seem to be able to expand the macro, if I write the traits without macros I can't reproduce the problem. So it might be some macro issue, I'm not sure. cc @edwin0cheng

Copy link
Contributor

@edwin0cheng edwin0cheng Apr 19, 2020

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I just checked, it is due to the fact that we still not support mbe in trait items yet :) I opened #4039 to track the issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants