E0038

Warning name: missing_invariant

MoonBit 已不再使用此错误码。