{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":");"}]}
        );
            self.type_ptr_to(self.layout_of(self.tcx.types.str_).gcc_type(self)),
        (cs, self.const_usize(len as u64))