[Sema] Permit dot reference with isolation change without call
A dot-reference of a method defined on Self (as well as through self) should be permitted to be made in a different actor isolation than the referenced function's actor isolation if a call is not yet made, as the DeclRefExpr can store the isolation of the referenced decl. That said, we currently can only express that known isolation with global actor annotations until the language adopts closure isolation control.
Resolves (for global actors) #76453
@swift-ci Please test
@swift-ci Please test
Related: https://feedbackassistant.apple.com/feedback/15965823
@swift-ci Please test
@NuriAmari this is actually already fixed on main. https://godbolt.org/z/GjsdWv8bx.
This is now something that is the province of region isolation. I am not sure if we actually need to muck with Sema. That being said, it would be great to transition this PR to just be for adding tests. More tests are always good.
I'll update
Updated to just include the tests. @gottesmm, better this?
@swift-ci please test
LGTM. Thanks!