E4158

Default implementation is required but not found.

When a trait declares that it has a default implementation, the implementation should exist.

Erroneous example

///|
pub(open) trait Close {
  // A default implementation is required but not found.
  close(Self) -> Unit raise = _
}

Suggestion

Implement the default implementation.

///|
impl Close with close(_) {
  ()
}