Basic resolve for 'throw'

idea/src/org/jetbrains/jet/lang/resolve/BindingTraceContext.java

@@ -157,7 +157,7 @@ public class BindingTraceContext implements BindingContext, BindingTrace {
     }
 
     @Override
-    public PsiElement getDeclarationPsiElement(DeclarationDescriptor descriptor) {
+    public PsiElement getDeclarationPsiElement(@NotNull DeclarationDescriptor descriptor) {
         return descriptorToDeclarations.get(descriptor.getOriginal());
     }
 

idea/src/org/jetbrains/jet/lang/types/JetTypeInferrer.java

@@ -759,6 +759,11 @@ public class JetTypeInferrer {
 
         @Override
         public void visitThrowExpression(JetThrowExpression expression) {
+            JetExpression thrownExpression = expression.getThrownExpression();
+            if (thrownExpression != null) {
+                JetType type = getType(scope, thrownExpression, false);
+                // TODO : check that it inherits Throwable
+            }
             result = JetStandardClasses.getNothingType();
         }