say I call `base<Int>()`, then only one of t...
# announcements
k
say I call
base<Int>()
, then only one of the branches correctly returns
Base<Int>
but the other returns a
Base<String>