Accessing x.Type forces x to be considered a type name

[dabrahams]

Description

import IR

struct Register {
  let type: IR.Type // <== error: cannot find type 'IR' in scope
}

There's no actual problem here and I claim that in this context the compiler need not force Type to be treated as a keyword. It should look up the base name IR first and see that it's a module. If you disagree, then at least the error message can be improved.

Reproduction

// module A 
struct Type {} 

// module B
import A
typealias Type = A.Type

Expected behavior

Compile without error or at least give a better error message. I spent an hour scratching my head before the workaround occurred to me.

Environment

swift-driver version: 1.115 Apple Swift version 6.0 (swiftlang-6.0.0.9.10 clang-1600.0.26.2)
Target: arm64-apple-macosx15.0

Additional information

No response