{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"Some(c)"}]}
                Some(c) => c,
            let arg = match subst.at(Interner, subst_idx).constant(Interner) {
                None => continue, // not a const parameter?