summaryrefslogtreecommitdiff
path: root/test/files/presentation/t7548b
Commit message (Collapse)AuthorAgeFilesLines
* SI-7548 Test to demonstrate residual exploratory typing bugJason Zaugg2013-12-022-0/+29
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.