Crate flux_common
source ·Modules§
- This file contains functions and macros to log debugging information meant for developers.
- This module allows storing mir bodies with borrowck facts in a thread-local storage. Unfortunately, thread local storage requires all data stored in it to have a
'static
lifetime. Therefore, we transmute the lifetime'tcx
away when storing the data. To ensure that nothing gets meessed up, we require the client to provide a witness: an instance of typeTyCtxt<'tcx>
that is used to show that the lifetime that the client provided is indeed'tcx
.