Widen types in names/defaults transformations.

We were getting away with this somehow, but the types are wrong after
typer and that sort of thing is noticed by more people now. I took the
opportunity to add our first -Ycheck:all test, which is at least as much
about helping -Ycheck:all remain in good working order as it is about
this test.

1 files changed, 13 insertions, 0 deletions

diff --git a/test/files/pos/z1730.scala b/test/files/pos/z1730.scala
new file mode 100644
index 0000000000..0c5875a818
--- /dev/null
+++ b/test/files/pos/z1730.scala
@@ -0,0 +1,13 @@
+// /scala/trac/z1730/a.scala
+// Wed May 23 07:41:25 PDT 2012
+
+class X[R] {
+  def xx(value: => R, addTweak: Boolean = true) = 0
+}
+
+class Boo {
+  implicit def toX[R](v: R) : X[R] = null
+  def goo2 {
+    3.xx(34)
+  }
+}