Skip to content

Push DiscriminantKind implementation fact unconditionally #800

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Aug 7, 2023

Conversation

HKalbasi
Copy link
Member

This makes r-a infer the output type of discriminant_value intrinsic as <T as DiscriminantKind>::Discriminant instead of unknown.

@HKalbasi HKalbasi force-pushed the discriminant-kind branch from 621193b to c40c29f Compare July 14, 2023 08:27
@jackh726
Copy link
Member

jackh726 commented Aug 7, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Aug 7, 2023

📌 Commit c40c29f has been approved by jackh726

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Aug 7, 2023

⌛ Testing commit c40c29f with merge db55a04...

@bors
Copy link
Contributor

bors commented Aug 7, 2023

☀️ Test successful - checks-actions
Approved by: jackh726
Pushing db55a04 to master...

@bors bors merged commit db55a04 into rust-lang:master Aug 7, 2023
bors added a commit to rust-lang/rust-analyzer that referenced this pull request Sep 20, 2023
Update chalk version

This only pulls in one commit in Chalk, which is an improvement to inference for rust-analyzer: rust-lang/chalk#800
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