like the IDE can determine when certain casts can ...
# announcements
s
like the IDE can determine when certain casts can never succeed