↓ 1 callersFunctionuncertain_provenanceCurrently, if we do not know for a tag if an access is local or foreign, then we do not do any state transitions on that tag. However, to implement pr
tests/miri-tests/pass/tree_borrows/wildcard/undetected_ub.rs:18