{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"substs"}]}
                        substs
                    return name.as_tuple_index().and_then(|idx| {
                            .as_slice(Interner)