use ExplicitImports in tests

Author: schillic

test/Project.toml

@@ -1,8 +1,14 @@
 [deps]
 Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"
 LazySets = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
+Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
 
 [compat]
 Aqua = "0.8"
+ExplicitImports = "1"
 LazySets = "1, 2, 3, 4, 5"
+Pkg = "<0.0.1, 1.2"
+
+[extras]
+ExplicitImports = "7d51a73a-1435-4ff3-83d9-f097790105c7"

test/quality_assurance.jl

@@ -1,6 +1,22 @@
 using MathematicalPredicates, Test
 import Aqua
 
+import Pkg
+@static if VERSION >= v"1.6"  # TODO make explicit test requirement
+    Pkg.add("ExplicitImports")
+    import ExplicitImports
+
+    @testset "ExplicitImports tests" begin
+        @test isnothing(ExplicitImports.check_all_explicit_imports_are_public(MathematicalPredicates))
+        @test isnothing(ExplicitImports.check_all_explicit_imports_via_owners(MathematicalPredicates))
+        @test isnothing(ExplicitImports.check_all_qualified_accesses_are_public(MathematicalPredicates))
+        @test isnothing(ExplicitImports.check_all_qualified_accesses_via_owners(MathematicalPredicates))
+        @test isnothing(ExplicitImports.check_no_implicit_imports(MathematicalPredicates))
+        @test isnothing(ExplicitImports.check_no_self_qualified_accesses(MathematicalPredicates))
+        @test isnothing(ExplicitImports.check_no_stale_explicit_imports(MathematicalPredicates))
+    end
+end
+
 @testset "Aqua tests" begin
     Aqua.test_all(MathematicalPredicates;
                   # `contains` is a known piracy