Odd aliasing behavior in async functions #144
Description
Concerns the test case inlining_crate_local_async_fns from the async_tests suite. The value returned from get_user_data is not connected to the dp_user_data call, which receives a mutable reference and should read all reachable values upon function entry.
The same pattern is observed with immutable references in no_immutable_inlining_overtaint from the same suite.