Use owned copies of Interner rather than refs

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

Use owned copies of Interner rather than refs #735

Closed eggyal closed 2 years ago

eggyal commented 2 years ago

The chalk_ir::interner::Interner trait has Copy as a supertrait. We can therefore use owned copies of I: Interner throughout, rather than &I references. This simplifies the API, removing lifetime parameters from numerous items which, in turn, should simplify user code.

jackh726 commented 2 years ago

@bors r+

bors commented 2 years ago

:pushpin: Commit 7e8dff9183f5d6bfff129ad1a24beb8edc89afb1 has been approved by jackh726

bors commented 2 years ago

:hourglass: Testing commit 7e8dff9183f5d6bfff129ad1a24beb8edc89afb1 with merge 9780653449f4bdff9242261a2d37a8f194f03250...

bors commented 2 years ago

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