Is it possible to use @infiltrate from Infiltrator.jl to inspect a function in a package without adding Infiltrator to the Project.toml file? I have Infiltrator installed in my 1.7 environment, so I was hoping that stacked environments would come into play, but apparently not:
julia> using PackageFoo
[ Info: Precompiling PackageFoo [b7d5e62f-924e-4906-b2b5-430ba4531d91]
ERROR: LoadError: UndefVarError: @infiltrate not defined