You can cast to non-null type at it’ll be marked a...
# announcements
a
You can cast to non-null type at it’ll be marked as “never succeed"