@file:[kotlin.<caret>Deprecated("message")]

package foo

// REF: (in kotlin.Deprecated).Deprecated(kotlin.String,kotlin.ReplaceWith,kotlin.DeprecationLevel)