{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":")"}]}
    ) -> std::result::Result<Ty, Self::Error> {
        outer_binder: DebruijnIndex,
        match ty.kind(Interner) {