E0020

无效的 pragma。

Currently, MoonBit won’t emit this warning. MoonBit no longer supports pragma. Attributes should be used instead.