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