Would be more comfortable, but probably less logical: One does not want to apply any implicit settings to the names which are imported from modules via use, as they should use the implicit settings of their defining module. Therefore, it makes sense to me to declare implicit whatever only after the module imports, and then it will be consistently applied to all variables declared further down.
1 Like