Constant THIR_BODY 

const THIR_BODY: LocalKey<RefCell<HashMap<LocalDefId, (Rc<Thir<'static>>, ExprId)>>>;