Jishnu Bhattacharya

Have you tried `chop`?

Yes, I can confirm that the invalidation of `convert` doesn't show up anymore. The ones that remain are `any` and `promote_rule`

I'm on 1.7.3. It might be version-dependent

This is what I find. ```julia julia> using SnoopCompileCore julia> invalidations = @snoopr using Polynomials; julia> using SnoopCompile julia> trees = invalidation_trees(invalidations); julia> trees |> length 5 julia> trees[end] inserting...

Fixing some invalidations has improved the package load time already! On ddb9e57fd6085c1a061ae0be1b273d3416e2cc67: ```julia julia> @time using Polynomials 1.670978 seconds (1.90 M allocations: 139.036 MiB, 2.05% gc time, 55.59% compilation time)...

I've got some insights into what's leading to invalidation here. It's often a relation like the following: ```julia julia> Union{} @which promote_rule(Polynomial{Int}, Union{}) promote_rule(::Type{

This is what I see currently on `v1.8.0-rc4` ```julia julia> trees = invalidation_trees(invalidations) 6-element Vector{SnoopCompile.MethodInvalidations}: inserting *(::Any, z::MutableArithmetics.Zero) in MutableArithmetics at /home/jishnu/.julia/packages/MutableArithmetics/Lnlkl/src/rewrite.jl:59 invalidated: mt_backedges: 1: signature Tuple{typeof(*), String, Any} triggered...

Current status on Julia nightly: ```julia julia> VERSION v"1.9.0-DEV.1575" julia> trees = invalidation_trees(invalidations) 1-element Vector{SnoopCompile.MethodInvalidations}: inserting promote_rule(::Type{

No worries, we might need some help here. I've faced this issue with `SnoopCompile` elsewhere as well.

Could you post the full error message? I can't reproduce this in a fresh environment. ```julia julia> VERSION v"1.7.2" (@v1.7) pkg> activate --temp add Py Activating new project at `/tmp/jl_Necwjf`...