Disallow 'import foo;'

[marijnh]

It seems that it doesn't actually do anything (you're making foo in the current scope refer to ... whatever foo refers to in the current scope).

Or am I missing something?

[catamorphism]

@marijnh -- can you clarify what you want to disallow? You want to forbid importing anything that's just a single identifier (as opposed to a path with more than one element in it), right? Which seems quite reasonable if so.

[marijnh]

Yes, I was talking about single-identifier imports.

Interestingly, with impl scoping rules, such a thing might actually have an effect (when importing an impl, it moves it into the current block, and thus gives it higher precedence), so I guess there's no reason to disallow it.

I'm going to close this.