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

Remove unused field #743

Closed pierwill closed 2 years ago

pierwill commented 2 years ago

Remove chalk-solve::infer::Canonicalized.max_universe.

Closes #742.

pierwill commented 2 years ago

@rustbot assign @jackh726

jackh726 commented 2 years ago

I think this does get used in rustc. Might be better to just allow(unused)

AzureMarker commented 2 years ago

It's a private field, so how can it get used?

jackh726 commented 2 years ago

@bors r+

bors commented 2 years ago

:pushpin: Commit 12ce418ddbc928c85dfb08576f986fc6a6816033 has been approved by jackh726

bors commented 2 years ago

:hourglass: Testing commit 12ce418ddbc928c85dfb08576f986fc6a6816033 with merge 157180654aaeaedcc86e91d34177b89b007bccde...

bors commented 2 years ago

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