perf: no-import matcher info

[Kha]

No description provided.

[Kha]

!bench

[leanprover-radar]

Benchmark results for e037e7f against 1ce05b2 are in! @Kha

[leanprover-bot]

Here are the benchmark results for commit e037e7f.
There were significant changes against commit 1ce05b2:

  Benchmark      Metric           Change
  =================================================
- channel.lean   boundedn_seq       3.1%
- simp_local     branch-misses      2.4%   (21.4 σ)
+ stdlib         grind ac         -10.6%  (-43.8 σ)
+ stdlib         grind cutsat     -10.5%  (-31.8 σ)
+ stdlib         grind linarith   -41.4%  (-67.1 σ)
+ stdlib         grind ring        -3.3% (-136.7 σ)