Consider removing unused field

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

Consider removing unused field #742

Closed pierwill closed 2 years ago

pierwill commented 2 years ago

Current master gives the following warning:

warning: field is never read: `max_universe`
  --> chalk-solve/src/infer/canonicalize.rs:67:5
   |
67 |     max_universe: UniverseIndex,
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: `#[warn(dead_code)]` on by default

warning: `chalk-solve` (lib) generated 1 warning
    Finished dev [unoptimized + debuginfo] target(s) in 0.27s

Shall we remove this field?