swift
[rbi] Convert Sendable immutable weak var captures to weak let to fix RegionIsolation checking
#86312

Merged

Commits

[ast] Add a new helper SILBoxType::withMutable to take in a SILBoxType and produce a new BoxType with mutated mutability of its fields.

gottesmm committed 270 days ago
[sil] Add convenience APIs to SILBoxType for generics safe field access

gottesmm committed 270 days ago
[sil] Add @inferredImmutable flag to SILFunctionArgument for captured boxes

gottesmm committed 270 days ago
[silgen] Remove the [var_decl] marker from the begin_borrow generated for mutable capture boxes.

gottesmm committed 270 days ago
[sil] Add [inferred-immutable] flag to alloc_box instruction

gottesmm committed 270 days ago
[rbi] Refactor users of SILIsolationInfo to use value-based Sendable checks throughout

gottesmm committed 270 days ago
[rbi] Mark mutable weak capture boxes containing Sendable types as immutable if they are never interprocedurally written to and teach SILIsolationInfo::isSendable that they are meant to be treated as Sendable.

gottesmm committed 270 days ago
Return to some tests in transfernonsendable_closure_captures.swift back to their state so it passes in ToT.

gottesmm committed 270 days ago