File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -5586,10 +5586,10 @@ bool ConstraintSystem::repairFailures(
5586
5586
// we need to wait until the very last moment to strip
5587
5587
// the concurrency annotations from the inner most type.
5588
5588
conversionsOrFixes.empty()) {
5589
- // `swift_attr` attributes in the type context were ignored before,
5590
- // which means that we need to maintain status quo to avoid breaking
5591
- // witness matching by stripping everything concurrency related from
5592
- // inner types in non-full checking mode.
5589
+ // Allow requirements to introduce `swift_attr` annotations
5590
+ // (note that `swift_attr` in type contexts weren't supported
5591
+ // before) and for witnesses to adopt them gradually by matching
5592
+ // with a warning in non-strict concurrency mode.
5593
5593
if (!(Context.isSwiftVersionAtLeast(6) ||
5594
5594
Context.LangOpts.StrictConcurrencyLevel ==
5595
5595
StrictConcurrency::Complete)) {
You can’t perform that action at this time.
0 commit comments