Jon Ross-Perkins

Note, not sure what the best way is to see if people agree on the syntax choice -- I was thinking if there's a preference for an alternative, I can...

@zygoloid FYI I want to be sure you notice the namespace commit. I don't think it really changes the proposal, but it I was trying to close some design gaps...

Depends on #3950 (dependency merged)

Depends on #3954

Depends on #3955 [ed: now merged]

> Title says "BindExport -> BindDecl", I think it should be "... -> ExportDecl" Thanks, fixed

Depends on #3973

Depends on #3971

I think you're thinking of same-library imports, where namespaces are intended to dominate. Cross-package imports are handled very differently, with namespaces just being a conflict, and cross_package_import.carbon should already be...

Depends on #3968 [ed: merged]