Report unmet trait requirements in IDE

#KT-3006 Fixed

idea/testData/checker/unmetTraitRequirements.kt

@@ -0,0 +1,15 @@
+open class Base {
+}
+
+trait Derived: Base {
+    fun foo() {
+        f1(this@Derived)
+    }
+}
+
+class <error descr="[UNMET_TRAIT_REQUIREMENT] Super trait 'Derived' requires subclasses to extend 'Base'">DerivedImpl()</error>: Derived {}
+object <error descr="[UNMET_TRAIT_REQUIREMENT] Super trait 'Derived' requires subclasses to extend 'Base'">ObjectImpl</error>: Derived {}
+
+fun f1(b: Base) = b
+
+// KT-3006

idea/tests/org/jetbrains/jet/checkers/JetPsiCheckerTestGenerated.java

@@ -255,6 +255,11 @@ public class JetPsiCheckerTestGenerated extends AbstractJetPsiCheckerTest {
             doTest("idea/testData/checker/trivialHierarchyLoop.kt");
         }
         
+        @TestMetadata("unmetTraitRequirements.kt")
+        public void testUnmetTraitRequirements() throws Exception {
+            doTest("idea/testData/checker/unmetTraitRequirements.kt");
+        }
+        
         @TestMetadata("UnreachableCode.kt")
         public void testUnreachableCode() throws Exception {
             doTest("idea/testData/checker/UnreachableCode.kt");