turns out in this case if is not even needed after...
# getting-started
o
turns out in this case if is not even needed after the cast definitely succeeds