Do not shadow explicit magic completion....
Do not shadow explicit magic completion.
If a binding has the same name than a magic, the magic should be
shadowed; unless the use is explicitly requesting a magic with a leading
percent sign.
Closes
#10754