optional: operator -> の、アサート忘れ修正