@file:[D("message")] package foo import kotlin.Deprecated as D // REF: (in kotlin.Deprecated).Deprecated(kotlin.String,kotlin.ReplaceWith,kotlin.DeprecationLevel)