对事件接收控制器文档的一点疑问

[butwedo]

在yiri的事件接收控制器的文档里（https://yiri-mirai.wybxc.cc/docs/extensions/trigger/handler）有这样一段代码：
@Filter(FriendMessage) async def filter_(event: FriendMessage): msg = str(event.message_chain) if msg.startswith('/'): return msg[1:]

这应该是一个过滤器的捕获函数，但是它是异步的，而在过滤器的文档中说明了过滤器捕获函数只能是同步的，请问是怎么回事呢

[Wybxc]

过滤器的文档是对的，捕获函数只能是同步的。

文档冲突是因为在古早版本里它可以是异步的，后来更新的时候改掉了，但是事件接受控制器的文档忘记改了。

感谢指出这一错误。