Push DiscriminantKind implementation fact unconditionally

rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

https://rust-lang.github.io/chalk/book/

Other

1.81k stars 179 forks source link

Closed HKalbasi closed 1 year ago

HKalbasi commented 1 year ago

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

jackh726 commented 1 year ago

@bors r+

bors commented 1 year ago

:pushpin: Commit c40c29f5577663016e234683c96249aaf8282f25 has been approved by jackh726

It is now in the queue for this repository.

bors commented 1 year ago

:hourglass: Testing commit c40c29f5577663016e234683c96249aaf8282f25 with merge db55a0490a088313507f10d86bf8f8696c9605e6...

bors commented 1 year ago

:sunny: Test successful - checks-actions Approved by: jackh726 Pushing db55a0490a088313507f10d86bf8f8696c9605e6 to master...