[SR-14242] Type-checking incorrect when local function and variable share the same name

[WowbaggersLiquidLunch]

Previous ID	SR-14242
Radar	rdar://problem/77673449
Original Reporter	@WowbaggersLiquidLunch
Type	Bug

Environment

Apple Swift version 5.3.2 (swiftlang-1200.0.45 clang-1200.0.32.28)
macOS 10.15.7 (19H512)

Additional Detail from JIRA

Votes	0
Component/s	Compiler
Labels	Bug, TypeChecker
Assignee	None
Priority	Medium

md5: 9dbbf6ed0b72d73f5e9da1e76669ab5c

relates to:

• SR-13306 Incorrect shadowing behavior for local functions and outer function parameters

Issue Description:

func foo() -> Int {
    let bar = 10
    func bar(number: Int) -> Int { return number }
    return bar(number: bar)
    //     ^
    // error: cannot call value of non-function type 'Int'
}

Type-checking is fine until the argument is given to the local function:

func foo() -> Int {
    let bar = 10
    func bar(number: Int) -> Int { return number }
    return bar(number:)
    //     ^~~~~~~~~~~~
    // error: cannot convert return expression of type '(Int) -> Int' to return type 'Int'
}

[WowbaggersLiquidLunch]

Might be related to SR-13306

[typesanitizer]

@swift-ci create