{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"(None,"}]}
                    (None, Some(_)) => Err(CastError::DifferingKinds { src_kind, dst_kind }),
                    // dyn Auto -> dyn Trait? not ok.
                }