From 9d2ea86a784cf07a9638c58f810decec3974f4ed Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Tue, 11 Jun 2013 13:04:18 +0400
Subject: [PATCH] Additional checks in validator

---
 .../org/jetbrains/jet/test/util/DescriptorValidator.java      | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/compiler/tests/org/jetbrains/jet/test/util/DescriptorValidator.java b/compiler/tests/org/jetbrains/jet/test/util/DescriptorValidator.java
index 5544922cae3..68ddc64adf2 100644
--- a/compiler/tests/org/jetbrains/jet/test/util/DescriptorValidator.java
+++ b/compiler/tests/org/jetbrains/jet/test/util/DescriptorValidator.java
@@ -190,6 +190,9 @@ public class DescriptorValidator {
                 TypeParameterDescriptor descriptor, DiagnosticCollector collector
         ) {
             validateTypes(descriptor, collector, descriptor.getUpperBounds());
+
+            validateType(descriptor, descriptor.getDefaultType(), collector);
+
             return true;
         }
 
@@ -269,6 +272,7 @@ public class DescriptorValidator {
             if (setter != null) {
                 assertEquals(setter, collector, "setter parameter count", 1, setter.getValueParameters().size());
                 assertEquals(setter, collector, "setter parameter type", descriptor.getType(), setter.getValueParameters().get(0).getType());
+                assertEquals(setter, collector, "corresponding property", descriptor, setter.getCorrespondingProperty());
             }
 
             return true;