Quickfix for NOTHING_TO_OVERRIDE

2013-03-02 15:08:00 +01:00
parent 3760922e84
commit 5b1f93b42e
51 changed files with 1169 additions and 159 deletions
@@ -0,0 +1,6 @@
+// "Change function signature to 'protected override fun next(p0: Int): Int'" "true"
+import java.util.Random
+
+class MyRandom : Random() {
+    <caret>protected override fun next(p0: Int): Int = 4
+}