Add precondition to doc comment.

odersky · odersky · commit 9675b84a4dd8 · 2015-12-21T13:04:00.000+01:00
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala
@@ -180,6 +180,7 @@ object TypeApplications {
   /** Merge `tp1` and `tp2` under a common lambda, combining them with `op`.
    *  @param tparams1   The type parameters of `tp1`
    *  @param tparams2   The type parameters of `tp2`
+   *  @pre tparams1.length == tparams2.length
    *  Produces the type lambda
    *
    *     [v1 X1 B1, ..., vn Xn Bn] -> op(tp1[X1, ..., Xn], tp2[X1, ..., Xn])

Original file line number	Diff line number	Diff line change
`@@ -180,6 +180,7 @@ object TypeApplications {`
`180`	`180`	/** Merge `tp1` and `tp2` under a common lambda, combining them with `op`.
`181`	`181`	* @param tparams1 The type parameters of `tp1`
`182`	`182`	* @param tparams2 The type parameters of `tp2`
	`183`	`+ * @pre tparams1.length == tparams2.length`
`183`	`184`	`* Produces the type lambda`
`184`	`185`	`*`
`185`	`186`	`* [v1 X1 B1, ..., vn Xn Bn] -> op(tp1[X1, ..., Xn], tp2[X1, ..., Xn])`