Resolution fails when using a symbol from a default export set of an inner module

[keyboardDrummer]

Dafny version

4.2

Code to produce this issue

In the Dafny IDE, not on the CLI, use the following code, and it will show you an error where it should not:

module Outer {
  method Bar() {
    Inner.Foo(); // unresolved identifier: Foo
  }
}

module Outer.Inner {
    export provides Foo
    method Foo() { }
}

What type of operating system are you experiencing the problem on?

Mac