Platform header IDE annotation: do not report suppressed error #KT-15601 Fixed

2017-01-10 13:38:24 +03:00
parent 76ee6d7712
commit b0a333456e
4 changed files with 25 additions and 1 deletions
@@ -0,0 +1,7 @@
+// See KT-15601
+
+@Suppress("HEADER_WITHOUT_IMPLEMENTATION")
+header interface Event
+
+@Suppress("SOMETHING_WRONG")
+header class <error descr="[HEADER_WITHOUT_IMPLEMENTATION] Header declaration 'Wrong' has no implementation in module for JVM">Wrong</error>