The error

REQUIRE: is_error

Property definitions

core $ MaybeError :: error
	# The error
	# REQUIRE: `is_error`
	fun error: E do return maybe_error.as(E)
lib/core/error.nit:82,2--84,41