diff --git a/compiler/backend/src/org/jetbrains/jet/codegen/inline/CapturedParamDesc.java b/compiler/backend/src/org/jetbrains/jet/codegen/inline/CapturedParamDesc.java
index 15a6c86c846..5382a589dc3 100644
--- a/compiler/backend/src/org/jetbrains/jet/codegen/inline/CapturedParamDesc.java
+++ b/compiler/backend/src/org/jetbrains/jet/codegen/inline/CapturedParamDesc.java
@@ -53,7 +53,7 @@ public class CapturedParamDesc {
     }
 
 
-    public static CapturedParamDesc createDesc(CapturedParamOwner containingLambdaInfo, String fieldName, Type type) {
+    public static CapturedParamDesc createDesc(@NotNull CapturedParamOwner containingLambdaInfo, @NotNull String fieldName, @NotNull Type type) {
         return new CapturedParamDesc(containingLambdaInfo, fieldName, type);
     }
 }
diff --git a/compiler/backend/src/org/jetbrains/jet/codegen/inline/ParametersBuilder.java b/compiler/backend/src/org/jetbrains/jet/codegen/inline/ParametersBuilder.java
index 633eb3a1bdb..09bbb5ddf46 100644
--- a/compiler/backend/src/org/jetbrains/jet/codegen/inline/ParametersBuilder.java
+++ b/compiler/backend/src/org/jetbrains/jet/codegen/inline/ParametersBuilder.java
@@ -57,11 +57,11 @@ public class  ParametersBuilder {
     }
 
     public CapturedParamInfo addCapturedParam(
-            String fieldName,
-            Type type,
+            @NotNull String fieldName,
+            @NotNull Type type,
             boolean skipped,
             @Nullable ParameterInfo original,
-            CapturedParamOwner containingLambda
+            @NotNull CapturedParamOwner containingLambda
     ) {
         CapturedParamInfo info =
                 new CapturedParamInfo(CapturedParamDesc.createDesc(containingLambda, fieldName, type), skipped, nextCaptured,