swift
82fbde0e - [send-non-sendable] Ensure that we properly warn if a field of a final actor is transferred.

Commit
1 year ago
[send-non-sendable] Ensure that we properly warn if a field of a final actor is transferred. Previously, we were not recognizing that a ref_element_addr from an actor object is equivalent to the actor object and we shouldn't allow for it to be consumed. rdar://115132118
Author
Committer
Parents
  • include/swift/SILOptimizer/Utils
    • File
      PartitionUtils.h
  • lib/SILOptimizer/Mandatory
    • File
      SendNonSendable.cpp
  • test/Concurrency
    • File
      sendnonsendable_basic.swift