diff options
author | Martin Odersky <odersky@gmail.com> | 2015-12-21 13:04:00 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-12-21 13:04:00 +0100 |
commit | 9675b84a4dd82a3705990e8474299725861424ea (patch) | |
tree | baa7cd790f7fc1a44c9a28bbd4f3fad2eccb7933 /src/dotty/tools/dotc/core/TypeApplications.scala | |
parent | 2b411163b22adacc27239201b43aa119c6bd86a5 (diff) | |
download | dotty-9675b84a4dd82a3705990e8474299725861424ea.tar.gz dotty-9675b84a4dd82a3705990e8474299725861424ea.tar.bz2 dotty-9675b84a4dd82a3705990e8474299725861424ea.zip |
Add precondition to doc comment.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeApplications.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeApplications.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala index b5282f90a..8aea3381a 100644 --- 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]) |