search

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 180 forks source link

Add missing fold_free_var_const #756

Closed HKalbasi closed 2 years ago

HKalbasi commented 2 years ago

This causes panic in https://github.com/rust-analyzer/rust-analyzer/pull/11688 when Sized trait is in tests.

jackh726 commented 2 years ago

@bors r+

bors commented 2 years ago

:pushpin: Commit 291e872ca4833adc002a101abd7d6b6bca250400 has been approved by jackh726

bors commented 2 years ago

:hourglass: Testing commit 291e872ca4833adc002a101abd7d6b6bca250400 with merge e8f38d57ca9e04f61a3811bb2d054db8c6592453...

bors commented 2 years ago

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