semantic: Proper interface implementation failure message.