{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"),"}]}
                        ),
                            subst.as_slice(Interner).get(1).and_then(|a| a.ty(Interner).cloned()),
                        _ => (self.result.standard_types.unknown.clone(), None),