deprecated top-level constant

const deprecated = const Deprecated("next release")