E4014

类型不匹配。

错误示例：

///|
fn[X, Y] fst(a : X, b : Y) -> X {
  b
}

上述示例在第 2 行返回一个类型为 Y 的值 b，这与函数的返回类型 X 不同。

建议

请确保返回与函数的返回类型相同的值。

例如，在上述示例中，你可以这样写：

///|
pub fn[X, Y] fst(a : X, _b : Y) -> X {
  a
}