Update docs/docs/reference/other-new-features/type-test.md

nicolasstucki · bishabosha · web-flow · commit 919acc2ed5de · 2020-11-06T11:59:37.000+01:00
Co-authored-by: Jamie Thompson &lt;bishbashboshjt@gmail.com&gt;
diff --git a/docs/docs/reference/other-new-features/type-test.md b/docs/docs/reference/other-new-features/type-test.md
@@ -124,7 +124,7 @@ trait Peano:
   }
   given TypeTest[Nat, Zero] = typeTestOfZero
   protected def typeTestOfZero: TypeTest[Nat, Zero]
-  given TypeTest[Nat, Succ]
+  given TypeTest[Nat, Succ] = typeTestOfSucc
   protected def typeTestOfSucc: TypeTest[Nat, Succ]
 ```
 

Original file line number	Diff line number	Diff line change
`@@ -124,7 +124,7 @@ trait Peano:`
`124`	`124`	`}`
`125`	`125`	`given TypeTest[Nat, Zero] = typeTestOfZero`
`126`	`126`	`protected def typeTestOfZero: TypeTest[Nat, Zero]`
`127`		`- given TypeTest[Nat, Succ]`
	`127`	`+ given TypeTest[Nat, Succ] = typeTestOfSucc`
`128`	`128`	`protected def typeTestOfSucc: TypeTest[Nat, Succ]`
`129`	`129`	```
`130`	`130`