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

Support `FnPtr` trait #798

Closed lowr closed 1 year ago

lowr commented 1 year ago

This PR implements support for FnPtr trait added by rust-lang/rust#108080. Since that PR also changed some trait impls for function pointer types in core to make use of FnPtr, rust-analyzer needs this to adapt to them.

Unlike other built-in traits, I didn't add a new mod specifically for FnPtr, because we only need to check if the type is a TyKind::Function and nothing else.

compiler-errors commented 1 year ago

@bors r+

bors commented 1 year ago

:pushpin: Commit fa049a6f44423a7a425928bf220f994eef1b1973 has been approved by compiler-errors

It is now in the queue for this repository.

bors commented 1 year ago

:hourglass: Testing commit fa049a6f44423a7a425928bf220f994eef1b1973 with merge 9318f7fdbdea1542defcff370a53b3ba0eb9ff66...

bors commented 1 year ago

:sunny: Test successful - checks-actions Approved by: compiler-errors Pushing 9318f7fdbdea1542defcff370a53b3ba0eb9ff66 to master...