Constant SHARED_STATE 

pub const SHARED_STATE: LocalKey<RefCell<HashMap<LocalDefId, BodyWithBorrowckFacts<'static>>>>;