Merge pull request #2022 from lrytz/analyzerPlugins210

Analyzer Plugins

3 files changed, 32 insertions, 3 deletions

diff --git a/test/files/neg/t5543.check b/test/files/neg/t5543.check
new file mode 100644
index 0000000000..b61de0f78b
--- /dev/null
+++ b/test/files/neg/t5543.check
@@ -0,0 +1,10 @@
+t5543.scala:3: error: not found: type T
+  def this(x: T) { this() }
+              ^
+t5543.scala:11: error: not found: value x
+   def this(a: Int, b: Int = x) {
+                             ^
+t5543.scala:18: error: not found: value x
+  def this(a: Int = x) { this() }
+                    ^
+three errors found
diff --git a/test/files/neg/t5543.scala b/test/files/neg/t5543.scala
new file mode 100644
index 0000000000..4e03e6e114
--- /dev/null
+++ b/test/files/neg/t5543.scala
@@ -0,0 +1,19 @@
+class C1 {
+  type T
+  def this(x: T) { this() }
+}
+
+class C1a[T] {
+  def this(x: T) { this() } // works, no error here
+}
+
+class C2(x: Int) {
+   def this(a: Int, b: Int = x) {
+     this(b)
+  }
+}
+
+class C3 {
+  val x = 0
+  def this(a: Int = x) { this() }
+}
diff --git a/test/files/neg/t6829.check b/test/files/neg/t6829.check
index 8ee6d182eb..7c3c66e0f2 100644
--- a/test/files/neg/t6829.check
+++ b/test/files/neg/t6829.check
@@ -1,6 +1,6 @@
 t6829.scala:35: error: type mismatch;
  found   : AgentSimulation.this.state.type (with underlying type G#State)
- required: _10.State
+ required: _9.State
     lazy val actions: Map[G#Agent,G#Action] = agents.map(a => a -> a.chooseAction(state)).toMap
                                                                                   ^
 t6829.scala:45: error: trait AgentSimulation takes type parameters
@@ -17,12 +17,12 @@ t6829.scala:49: error: not found: value nextState
                                              ^
 t6829.scala:50: error: type mismatch;
  found   : s.type (with underlying type Any)
- required: _54.State where val _54: G
+ required: _53.State where val _53: G
         val r = rewards(agent).r(s,a,s2)
                                  ^
 t6829.scala:51: error: type mismatch;
  found   : s.type (with underlying type Any)
- required: _51.State
+ required: _50.State
         agent.learn(s,a,s2,r): G#Agent
                     ^
 t6829.scala:53: error: not found: value nextState