E4164

Type declaration mismatch with mbti.

When a package implements a virtual package, it is checked against the interface of that virtual package, and this error is emitted if some of the type declarations have different arities.

错误示例

E4160.mbti

package "moonbit-community/E4164";

type Foo[_]

top.mbt

///|
pub enum Foo {}

建议

Modify the implementation such that it has the compatible signature as the virtual package it declared to implement.

///|
pub enum Foo[_] {}