Yeah, I was thinking Aqua.test_all could also have a test_explicit_imports option like for the other types of tests. The fact that results differ based on whether or not ExplicitImports.jl is loaded does suck a little, but in that case we could either
- print a warning
- straight up error (and then set the default to
test_explicit_imports=false)
The last option would enable reliable but voluntary integration. We did a variant of that for test_undocumented_names too because it is not available on Julia 1.10.