Update docs/docs/reference/metaprogramming/inline.md

robstoll · nicolasstucki · web-flow · commit b7022d0485ef · 2019-09-29T22:32:44.000+02:00
Co-Authored-By: Nicolas Stucki &lt;nicolas.stucki@gmail.com&gt;
diff --git a/docs/docs/reference/metaprogramming/inline.md b/docs/docs/reference/metaprogramming/inline.md
@@ -374,7 +374,7 @@ inline def toIntT[N <: Nat] <: Int = inline scala.compiletime.erasedValue[N] mat
   case _: Succ[n] => toIntT[n] + 1
 }
 
-val two = toIntT[Succ[Succ[Zero.type]]]
+final val two = toIntT[Succ[Succ[Zero.type]]]
 ```
 
 `erasedValue` is an `erased` method so it cannot be used and has no runtime

Original file line number	Diff line number	Diff line change
`@@ -374,7 +374,7 @@ inline def toIntT[N <: Nat] <: Int = inline scala.compiletime.erasedValue[N] mat`
`374`	`374`	`case _: Succ[n] => toIntT[n] + 1`
`375`	`375`	`}`
`376`	`376`
`377`		`-val two = toIntT[Succ[Succ[Zero.type]]]`
	`377`	`+final val two = toIntT[Succ[Succ[Zero.type]]]`
`378`	`378`	```
`379`	`379`
`380`	`380`	`erasedValue` is an `erased` method so it cannot be used and has no runtime