Merge pull request #7061 from Master-Killer/7059-docfix-post-conditions

Make Post Conditions example compile in implicit-function-types.md

Author: bishabosha

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}