Add test for example found from removing fresh vars in rustc

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 jackh726 closed 1 year ago

compiler-errors commented 1 year ago

@bors r+

bors commented 1 year ago

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

It is now in the queue for this repository.

bors commented 1 year ago

:hourglass: Testing commit ad8dfa5a1489b6f77dcbbd3bc84003f7d89b95be with merge 82a6ba89eb1a627df6de91f24e243e0bebd59f8c...

compiler-errors commented 1 year ago

@bors r-

compiler-errors commented 1 year ago

@bors r+

bors commented 1 year ago

:pushpin: Commit 1c1ff4138f782ed901f3725f8bf1e2c3dbfc6721 has been approved by compiler-errors

It is now in the queue for this repository.

bors commented 1 year ago

:hourglass: Testing commit 1c1ff4138f782ed901f3725f8bf1e2c3dbfc6721 with merge d4ba6a0b975c2414ec44ec43d0899449db3d374d...

bors commented 1 year ago

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