Constant SHARED_STATE 

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