From 2577683ce8a2c68ae9a43f2cdcdb93fe43b29bf7 Mon Sep 17 00:00:00 2001
From: Svetlana Isakova <svetlana.isakova@jetbrains.com>
Date: Wed, 4 Apr 2012 14:23:04 +0400
Subject: [PATCH] tests for: #KT-1248 Fixed Control visibility of overrides
 needed #KT-37 Fixed Typechecker doesn't complain about accessing non-public
 property

---
 .../testData/diagnostics/tests/scopes/kt1248.jet | 12 ++++++++++++
 .../testData/diagnostics/tests/scopes/kt37.jet   | 16 ++++++++++++++++
 2 files changed, 28 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/scopes/kt1248.jet
 create mode 100644 compiler/testData/diagnostics/tests/scopes/kt37.jet

diff --git a/compiler/testData/diagnostics/tests/scopes/kt1248.jet b/compiler/testData/diagnostics/tests/scopes/kt1248.jet
new file mode 100644
index 00000000000..fd0a7bfd2ae
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/scopes/kt1248.jet
@@ -0,0 +1,12 @@
+//KT-1248 Control visibility of overrides needed
+package kt1248
+
+trait ParseResult<out T> {
+    public val success : Boolean
+    public val value : T
+}
+
+class Success<T>(<!CANNOT_WEAKEN_ACCESS_PRIVILEGE!>internal<!> override val value : T) : ParseResult<T> {
+    <!CANNOT_WEAKEN_ACCESS_PRIVILEGE!>internal<!> override val success : Boolean = true
+}
+
diff --git a/compiler/testData/diagnostics/tests/scopes/kt37.jet b/compiler/testData/diagnostics/tests/scopes/kt37.jet
new file mode 100644
index 00000000000..3275add0e43
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/scopes/kt37.jet
@@ -0,0 +1,16 @@
+//KT-37 Typechecker doesn't complain about accessing non-public property
+package kt37
+
+class C() {
+    private var f: Int
+
+    {
+        f = 610
+    }
+}
+
+fun box(): String {
+    val c = C()
+    if (c.<!UNRESOLVED_REFERENCE!>f<!> != 610) return "fail"
+    return "OK"
+}
\ No newline at end of file