egraphs-good / egglog

egraphs + datalog!
https://egraphs-good.github.io/egglog/
MIT License
458 stars 54 forks source link

Remove unused 'serde-1' attribute #465

Closed DaniPopes closed 1 week ago

DaniPopes commented 1 week ago

The feature "serde-1" doesn't exist.

The other change is a warning issued on a more recent rust version:

warning: elided lifetime has a name
  --> src/function/index.rs:65:40
   |
62 |     pub(crate) fn to_canonicalize<'a>(
   |                                   -- lifetime `'a` declared here
...
65 |     ) -> impl Iterator<Item = usize> + '_ {
   |                                        ^^ this elided lifetime gets resolved as `'a`
   |
   = note: `#[warn(elided_named_lifetimes)]` on by default
codspeed-hq[bot] commented 1 week ago

CodSpeed Performance Report

Merging #465 will not alter performance

Comparing DaniPopes:unused-serde1 (d723300) with main (2c8d947)

Summary

✅ 8 untouched benchmarks