From edcff7db2a028b719f64a075dfd425f025caf5f4 Mon Sep 17 00:00:00 2001
From: Svetlana Isakova <svetlana.isakova@jetbrains.com>
Date: Fri, 17 Aug 2012 18:58:45 +0400
Subject: [PATCH] formatting

---
 .../jetbrains/jet/lang/resolve/DescriptorResolver.java    | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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,