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.84k stars 182 forks source link

Fix function pointers of different param counts unifying #759

Closed flodiebold closed 2 years ago

nikomatsakis commented 2 years ago

@bors r+

bors commented 2 years ago

:pushpin: Commit f7634ba7527e5da1c127c01839477421586ab36a has been approved by nikomatsakis

bors commented 2 years ago

:hourglass: Testing commit f7634ba7527e5da1c127c01839477421586ab36a with merge 9592a2ce285f8e07cd14707fb2ffd421782c54fb...

bors commented 2 years ago

:sunny: Test successful - checks-actions Approved by: nikomatsakis Pushing 9592a2ce285f8e07cd14707fb2ffd421782c54fb to master...