diff --git a/AngularJS/src/org/angular2/entities/ivy/Angular2IvySymbolDef.kt b/AngularJS/src/org/angular2/entities/ivy/Angular2IvySymbolDef.kt
index 98ee1f516bd..7c2195f1985 100644
--- a/AngularJS/src/org/angular2/entities/ivy/Angular2IvySymbolDef.kt
+++ b/AngularJS/src/org/angular2/entities/ivy/Angular2IvySymbolDef.kt
@@ -281,7 +281,7 @@ abstract class Angular2IvySymbolDef private constructor(private val myFieldOrStu
                                                              itemMapper: (T) -> R?,
                                                              nullIfNotFound: Boolean): List<R>? {
     contract {
-      returnsNotNull() implies (!nullIfNotFound)
+      returns(null) implies (nullIfNotFound)
     }
     val declaration = getDefFieldArgument(index)
                       ?: return if (nullIfNotFound) null else emptyList()