diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-12-01 09:56:36 +0100 |
---|---|---|
committer | Mirco Dotta <mirco.dotta@typesafe.com> | 2013-12-02 10:37:52 +0100 |
commit | 652b3b4b9dcbf990e7ace409e050cc4ba4e83b16 (patch) | |
tree | 4851b110e443a7b2cc82e837177831eb738d7cb4 /test/files/neg | |
parent | b7509c922f78624a9eba88c3c64054e0d217ecea (diff) | |
download | scala-652b3b4b9dcbf990e7ace409e050cc4ba4e83b16.tar.gz scala-652b3b4b9dcbf990e7ace409e050cc4ba4e83b16.tar.bz2 scala-652b3b4b9dcbf990e7ace409e050cc4ba4e83b16.zip |
SI-7548 Test to demonstrate residual exploratory typing bug
We shouldn't observe tree types under silent mode.
The enclosed test is a standalone version of `1 + BigInt(2)`,
a standard example of exploratory typing in Scala. Once we determine
that none of the `+` methods in `Int` accepts (possibly implicitly
coerced `BigInt`), we have to backtrack and look for a view from
`Int => { +(_: BigInt): ? }`.
The next commit will correct the problem.
Diffstat (limited to 'test/files/neg')
0 files changed, 0 insertions, 0 deletions