diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/DescriptorResolver.java b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/DescriptorResolver.java
index a0db11c568b..8c9e25bf819 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/DescriptorResolver.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/DescriptorResolver.java
@@ -634,10 +634,10 @@ public class DescriptorResolver {
 
     @NotNull
     public VariableDescriptorImpl resolveLocalVariableDescriptorWithType(
-            DeclarationDescriptor containingDeclaration,
-            JetVariableDeclaration property,
-            JetType type,
-            BindingTrace trace
+            @NotNull DeclarationDescriptor containingDeclaration,
+            @NotNull JetVariableDeclaration property,
+            @Nullable JetType type,
+            @NotNull BindingTrace trace
     ) {
         VariableDescriptorImpl variableDescriptor = new LocalVariableDescriptor(
                 containingDeclaration,