Can a constant redefinition still raise a warning?

Hello, As I was navigating the forum about constant redefinition, I noticed that, as per 1.12 release notes: Redefinition of constants is now well defined and follows world age semantics (#57253). Additional redefinitions (e.g. of types) are now allowed. See the new manual chapter on world age. And indeed, at least in the interactive command line (REPL) of Julia 1.13, the following session “just works” (no warning): julia> const a=1 1 julia> const a=2 2 Still, reading through the docstr...