[SR-15111] “Type of expression is ambiguous” error when initializing a class

Repository metrics

Stars

69,989 stars (69,989 stars)

PR merge metrics

Avg merge 8d 17h (Avg merge 8d 17h)510 merged PRs in 30d (510 merged PRs in 30d)

Description

 class IntClass {
    var int: Int?
    
    init(int: Int?) {
        self.int = int
    }
}

class StringClass {
    var string: String? = "hello"
}

var stringClass: StringClass? = StringClass()

IntClass(int: stringClass?.string)
//Type of expression is ambiguous without more context
//Expected error: Cannot convert value of type 'String?' to expected argument type 'Int?'

var stringValue = stringClass?.string
IntClass(int: stringValue)
//Cannot convert value of type 'String?' to expected argument type 'Int?'

Contributor guide

Research direction

Inspect the Swift compiler's type checker code to find where the 'Type of expression is ambiguous' error is generated for optional chaining expressions, and change it to produce a more specific error message like 'Cannot convert value of type 'String?' to expected argument type 'Int?'.

Tech stack

swiftcpp

Domain

compilers

Issue type

Bug

DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.

2

Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.

1-3 hours

Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.

Active

ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.

Clear

Prerequisites

SwiftGit

Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.

80