docstring の型で、動的に推測される型と一致していないものを報告します。