The compiler fails to resolve concurrency isolation check #77679
Labels
bug
A deviation from expected or documented behavior. Also: expected but undesirable behavior.
triage needed
This issue needs more specific labels
Description
For a
actor
with anasync
method that returns asending
result, the compiler complains:Reproduction
Expected behavior
This code should compile without error. This is simple code that demonstrates the bug. In my real code, I am using an
actor
to isolate access to a resource.Note that
makeImage()
simply creates the image and returns it to caller, so there is no use of it outside of the caller's isolation region.This is clearly a compiler error given that the compiler is literally saying, "Please file a bug."
Environment
Additional information
Marking
makeImage()
asnonisolated
avoids the compiler error, but I don't think it would be a general workaround due to the implications of that marker.The text was updated successfully, but these errors were encountered: