replacement of weaker bindings by stronger ones: julia> module M1; const x = 1; export x; end Main.M1 julia> using .M1 julia> x # Implicit import from M1 1 julia> begin; f() = (global x; x = 1) end julia> precedence level, replacement is syntactically disallowed: julia> module M1; const x = 1; export x; end Main.M1 julia> import .M1: x julia> const x = 2 ERROR: cannot declare Main.x constant; it was already Stacktrace: [1] top-level scope @ REPL[3]:1 or ignored: julia> const y = 2 2 julia> import .M1: x as y WARNING: import of M1.x into Main conflicts with an existing identifier; ignored. The resolution

replacement of weaker bindings by stronger ones: julia> module M1; const x = 1; export x; end Main.M1 julia> using .M1 julia> x # Implicit import from M1 1 julia> begin; f() = (global x; x = 1) end julia> precedence level, replacement is syntactically disallowed: julia> module M1; const x = 1; export x; end Main.M1 julia> import .M1: x julia> const x = 2 ERROR: cannot declare Main.x constant; it was already Stacktrace: [1] top-level scope @ REPL[3]:1 or ignored: julia> const y = 2 2 julia> import .M1: x as y WARNING: import of M1.x into Main conflicts with an existing identifier; ignored. The resolution

replacement of weaker bindings by stronger ones: julia> module M1; const x = 1; export x; end Main.M1 julia> using .M1 julia> x # Implicit import from M1 1 julia> begin; f() = (global x; x = 1) end julia> precedence level, replacement is syntactically disallowed: julia> module M1; const x = 1; export x; end Main.M1 julia> import .M1: x julia> const x = 2 ERROR: cannot declare Main.x constant; it was already Stacktrace: [1] top-level scope @ REPL[3]:1 or ignored: julia> const y = 2 2 julia> import .M1: x as y WARNING: import of M1.x into Main conflicts with an existing identifier; ignored. The resolution

replacement of weaker bindings by stronger ones: julia> module M1; const x = 1; export x; end Main.M1 julia> using .M1 julia> x # Implicit import from M1 1 julia> begin; f() = (global x; x = 1) end julia> precedence level, replacement is syntactically disallowed: julia> module M1; const x = 1; export x; end Main.M1 julia> import .M1: x julia> const x = 2 ERROR: cannot declare Main.x constant; it was already Stacktrace: [1] top-level scope @ REPL[3]:1 or ignored: julia> const y = 2 2 julia> import .M1: x as y WARNING: import of M1.x into Main conflicts with an existing identifier; ignored. The resolution

Adds docstring "..." to the @m(::Any) macro definition. "..." :(@m1) "..." macro m2 end Adds docstring "..." to the macros named @m1 and @m2. Types "..." abstract type T1 end "..." mutable struct 2) true source Base.isambiguous – Function. Base.isambiguous(m1, m2; ambiguous_bottom=false) -> Bool Determine whether two methods m1 and m2 may be ambiguous for some call signature. This test is performed same function; in isolation, m1 and m2 might be ambiguous, but if a third method resolving the ambiguity has been defined, this returns false. Alter- natively, in isolation m1 and m2 might be ordered, but

Adds docstring "..." to the @m(::Any) macro definition. "..." :(@m1) "..." macro m2 end Adds docstring "..." to the macros named @m1 and @m2. Types "..." abstract type T1 end "..." mutable struct 2) true source Base.isambiguous – Function. Base.isambiguous(m1, m2; ambiguous_bottom=false) -> Bool Determine whether two methods m1 and m2 may be ambiguous for some call signature. This test is performed same function; in isolation, m1 and m2 might be ambiguous, but if a third method resolving the ambiguity has been defined, this returns false. Alter- natively, in isolation m1 and m2 might be ordered, but

Adds docstring "..." to the @m(::Any) macro definition. "..." :(@m1) "..." macro m2 end Adds docstring "..." to the macros named @m1 and @m2. Types "..." abstract type T1 end "..." mutable struct 2) true source Base.isambiguous – Function. Base.isambiguous(m1, m2; ambiguous_bottom=false) -> Bool Determine whether two methods m1 and m2 may be ambiguous for some call signature. This test is performed same function; in isolation, m1 and m2 might be ambiguous, but if a third method resolving the ambiguity has been defined, this returns false. Alter- natively, in isolation m1 and m2 might be ordered, but

Adds docstring "..." to the @m(::Any) macro definition. "..." :(@m1) "..." macro m2 end Adds docstring "..." to the macros named @m1 and @m2. Types "..." abstract type T1 end "..." mutable struct 2) true source Base.isambiguous – Function. Base.isambiguous(m1, m2; ambiguous_bottom=false) -> Bool Determine whether two methods m1 and m2 may be ambiguous for some call signature. This test is performed same function; in isolation, m1 and m2 might be ambiguous, but if a third method resolving the ambiguity has been defined, this returns false. Alter- natively, in isolation m1 and m2 might be ordered, but

2) true source Base.isambiguous – Function. Base.isambiguous(m1, m2; ambiguous_bottom=false) -> Bool Determine whether two methods m1 and m2 may be ambiguous for some call signature. This test is performed same function; in isolation, m1 and m2 might be ambiguous, but if a third method resolving the ambiguity has been defined, this returns false. Alter- natively, in isolation m1 and m2 might be ordered, but function with 2 methods) julia> m1, m2 = collect(methods(foo)); julia> typeintersect(m1.sig, m2.sig) Tuple{typeof(foo), Complex{Union{}}} julia> Base.isambiguous(m1, m2, ambiguous_bottom=true) true

2) true source Base.isambiguous – Function. Base.isambiguous(m1, m2; ambiguous_bottom=false) -> Bool Determine whether two methods m1 and m2 may be ambiguous for some call signature. This test is performed same function; in isolation, m1 and m2 might be ambiguous, but if a third method resolving the ambiguity has been defined, this returns false. Alter- natively, in isolation m1 and m2 might be ordered, but function with 2 methods) julia> m1, m2 = collect(methods(foo)); julia> typeintersect(m1.sig, m2.sig) Tuple{typeof(foo), Complex{Union{}}} julia> Base.isambiguous(m1, m2, ambiguous_bottom=true) true