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

Add `f16` and `f128` #811

Closed beetrees closed 2 months ago

beetrees commented 2 months ago

Needed for rust-lang/rust-analyzer#17451.

jackh726 commented 2 months ago

@bors r+

bors commented 2 months ago

:pushpin: Commit 4f08b976d38d5799fc1732e207cde50884b5567c has been approved by jackh726

It is now in the queue for this repository.

bors commented 2 months ago

:hourglass: Testing commit 4f08b976d38d5799fc1732e207cde50884b5567c with merge 77406aa8a0fccab59472a27d5b7950654a684ee4...

bors commented 2 months ago

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