"CAST_NEVER_SUCCEEDS" and "USELESS_CAST"
# getting-started
u
"CAST_NEVER_SUCCEEDS" and "USELESS_CAST"