diff --git a/docs/docs/reference/contextual/implicit-function-types.md b/docs/docs/reference/contextual/implicit-function-types.md index d1ad28a1b46e..b863871331e5 100644 --- a/docs/docs/reference/contextual/implicit-function-types.md +++ b/docs/docs/reference/contextual/implicit-function-types.md @@ -120,9 +120,10 @@ object PostConditions { def result[T] given (r: WrappedResult[T]): T = r - def (x: T) - ensuring[T](condition: given WrappedResult[T] => Boolean): T = - assert(condition) given x + def (x: T) ensuring[T](condition: given WrappedResult[T] => Boolean): T = { + assert(condition given x) + x + } } import PostConditions.{ensuring, result}