{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"len:"}]}
                len: len.stable(tables, cx),
            AssertKind::BoundsCheck { len, index } => crate::mir::AssertMessage::BoundsCheck {
                index: index.stable(tables, cx),