Merge pull request #478 from ChrisRackauckas-Claude/fix-deverbosity-dispatch

Fix precompile MethodError when DiffEqBase DEVerbosity flows through as default verbose

Author: ChrisRackauckas

lib/BoundaryValueDiffEqCore/Project.toml

@@ -1,6 +1,6 @@
 name = "BoundaryValueDiffEqCore"
 uuid = "56b672f2-a5fe-4263-ab2d-da677488eb3a"
-version = "2.3.0"
+version = "2.3.1"
 authors = ["Qingyu Qu <erikqqy123@gmail.com>"]
 
 [deps]

lib/BoundaryValueDiffEqCore/src/verbosity.jl

@@ -355,3 +355,10 @@ end
 end
 
 @inline _process_verbose_param(verbose::BVPVerbosity) = verbose
+
+# A foreign AbstractVerbositySpecifier (e.g. DiffEqBase.DEVerbosity) can flow in
+# through DiffEqBase's `solve`/`init` default kwargs (`verbose = DEFAULT_VERBOSE`,
+# which is a `DEVerbosity`). BVPVerbosity's toggles differ from DEVerbosity's, so
+# we cannot meaningfully translate it; fall back to BVP's own default rather than
+# dispatch-missing at precompile time.
+@inline _process_verbose_param(::SciMLLogging.AbstractVerbositySpecifier) = DEFAULT_VERBOSE

lib/BoundaryValueDiffEqCore/test/runtests.jl

@@ -11,4 +11,15 @@ using InteractiveUtils, Test
         Aqua.test_piracies(BoundaryValueDiffEqCore)
         Aqua.test_ambiguities(BoundaryValueDiffEqCore; recursive = false)
     end
+
+    @testset "_process_verbose_param foreign AbstractVerbositySpecifier" begin
+        # DiffEqBase.DEVerbosity is a foreign AbstractVerbositySpecifier that
+        # can flow in via DiffEqBase's `solve`/`init` default `verbose` kwarg.
+        # It must not hit a MethodError at precompile time; it should fall
+        # back to BVP's own DEFAULT_VERBOSE (a BVPVerbosity).
+        using BoundaryValueDiffEqCore, DiffEqBase
+        result = BoundaryValueDiffEqCore._process_verbose_param(DiffEqBase.DEFAULT_VERBOSE)
+        @test result isa BoundaryValueDiffEqCore.BVPVerbosity
+        @test result === BoundaryValueDiffEqCore.DEFAULT_VERBOSE
+    end
 end