{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"{"}]}
                {
                let len = match subst.as_slice(Interner).get(1).and_then(|it| it.constant(Interner))
                    Some(len) => len,