看起来由Tokenizer.encode返回的Encoding对象具有__len__dunder method,并且运行len(encoding)可以正常工作，但出于某种原因，其对应的生成的.pyi文件却无法正常工作。这会导致Pyright/Pylance在非严格模式下出现类型检查错误(因为这个库没有被类型化)。