You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
SR-12789 'τ_0_0' in conformance type-checking diagnostics
Issue Description:
This code exercises the failure about 1 in 10 runs. The problem is that findMissingGenericRequirementForSolutionFix, which was introduced in #19920 escapes type variables to contexts long after their associated constraints systems have gone out of scope. That means any requirements we diagnose involving opened references would have involved a large amount of UB.
// RUN: not %target-swift-frontend %s -emit-silgenstructCountSteps1<T> : Collection {
init(count: Int) { self.count = count }
varcount: IntvarstartIndex: Int { 0 }
varendIndex: Int { count }
funcindex(afteri: Int) -> Int {
totalSteps += 1returni + 1
}
subscript(i: Int) -> Int { returni }
}
extensionCountSteps1
: RandomAccessCollectionwhereT : Equatable
{
typealiasIndex = Intfuncindex(_i: Index, offsetByd: Int) -> Index {
returni + d
}
}
The text was updated successfully, but these errors were encountered:
Additional Detail from JIRA
md5: 77078ce3daf16525ed54cc01919127be
is duplicated by:
Issue Description:
This code exercises the failure about 1 in 10 runs. The problem is that findMissingGenericRequirementForSolutionFix, which was introduced in #19920 escapes type variables to contexts long after their associated constraints systems have gone out of scope. That means any requirements we diagnose involving opened references would have involved a large amount of UB.
The text was updated successfully, but these errors were encountered: