tests/lean/490.lean

namespace Foo
def _root_.bar := 1 -- ok
end Foo