Merge pull request #835 from ChrisRackauckas-Claude/explicit-imports-20260102-041311

Add ExplicitImports tests to ensure import hygiene

Author: ChrisRackauckas

Project.toml

@@ -8,4 +8,13 @@ Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 
 [compat]
 Documenter = "1"
+ExplicitImports = "1.14.0"
 julia = "1.10"
+
+[extras]
+DifferentialEquations = "0c46a032-eb83-5123-abaf-570d42b7fbaa"
+ExplicitImports = "7d51a73a-1435-4ff3-83d9-f097790105c7"
+Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
+
+[targets]
+test = ["DifferentialEquations", "ExplicitImports", "Test"]

test/runtests.jl

@@ -1,4 +1,10 @@
 using DiffEqDocs, DifferentialEquations
 using Test
+using ExplicitImports
 
 # Tests are just for docs generation
+
+@testset "ExplicitImports" begin
+    @test check_no_implicit_imports(DiffEqDocs) === nothing
+    @test check_no_stale_explicit_imports(DiffEqDocs) === nothing
+end