{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"#[allow(clippy::double_parens)]"}]}
    #[allow(clippy::double_parens)]
    fn allocate_const_in_heap(&mut self, locals: &Locals, konst: &Const) -> Result<Interval> {