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/presentation/t7548b.check | |
| 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/presentation/t7548b.check')
| -rw-r--r-- | test/files/presentation/t7548b.check | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/files/presentation/t7548b.check b/test/files/presentation/t7548b.check new file mode 100644 index 0000000000..5ba69809f1 --- /dev/null +++ b/test/files/presentation/t7548b.check @@ -0,0 +1 @@ +Foo.this.I.+: (other: Foo.I.type)Unit |