You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// Warnings arising from the flow-sensitive checking of Sendability of
860
866
// non-Sendable values
861
867
WARNING(consumed_value_used, none,
862
-
"Non-Sendable value consumed, then used at this site; could yield race with another thread", ())
868
+
"non-Sendable value consumed, then used at this site; could yield race with another thread", ())
863
869
WARNING(arg_region_consumed, none,
864
-
"This application could pass `self` or a Non-Sendable argument of this function to another thread, potentially yielding a race with the caller", ())
870
+
"this application could pass `self` or a Non-Sendable argument of this function to another thread, potentially yielding a race with the caller", ())
871
+
WARNING(consumption_yields_race, none,
872
+
"non-Sendable value sent across isolation domains here, but could be accessed later in this function (%0 access site%select{|s}1 displayed%select{|, %3 more hidden}2)", (unsigned, bool, bool, unsigned))
873
+
NOTE(possible_racy_access_site, none,
874
+
"access here could race with non-Sendable value send above", ())
0 commit comments