bのコンパイル時に見える型はSomeProtocolで、実行時の内部に持つ実態としてはIntである、という前提に対して、type(of:)が実行時の実態の型を返す、という話だと思います。