Not sure about the specifics of the problem here. Just wanted to say that sometimes it is sane to use target_modules to limit the analysis scope to the modules you have written. JET.jl often finds possible errors in modules that an end user can do very little about.