Remove assert about error type for removing type annotation

idea/src/org/jetbrains/jet/plugin/intentions/SpecifyTypeExplicitlyAction.java

@@ -69,7 +69,6 @@ public class SpecifyTypeExplicitlyAction extends PsiElementBaseIntentionAction {
         }
         PsiElement parent = element.getParent();
         JetType type = getTypeForDeclaration((JetNamedDeclaration) parent);
-        assert !ErrorUtils.isErrorType(type) : "Unexpected error type: " + element.getText();
         if (parent instanceof JetProperty) {
             JetProperty property = (JetProperty) parent;
             if (property.getTypeRef() == null) {
@@ -109,6 +108,7 @@ public class SpecifyTypeExplicitlyAction extends PsiElementBaseIntentionAction {
             return false;
         }
         JetNamedDeclaration declaration = (JetNamedDeclaration) parent;
+
         if (declaration instanceof JetProperty && !PsiTreeUtil.isAncestor(((JetProperty) declaration).getInitializer(), element, false)) {
             if (((JetProperty) declaration).getTypeRef() != null) {
                 setText(JetBundle.message("specify.type.explicitly.remove.action.name"));
@@ -217,6 +217,8 @@ public class SpecifyTypeExplicitlyAction extends PsiElementBaseIntentionAction {
             @NotNull PsiElement anchor,
             @NotNull JetType exprType
     ) {
+        assert !ErrorUtils.isErrorType(exprType) : "Unexpected error type: " + namedDeclaration.getText();
+
         TypeConstructor constructor = exprType.getConstructor();
         boolean isAnonymous = DescriptorUtils.isAnonymous(constructor.getDeclarationDescriptor());
 

idea/testData/intentions/specifyType/afterRemoveUnresolvedType.kt

@@ -0,0 +1,4 @@
+// "Remove explicitly specified type" "true"
+package testing
+
+val a = 12

idea/testData/intentions/specifyType/beforeRemoveUnresolvedType.kt

@@ -0,0 +1,4 @@
+// "Remove explicitly specified type" "true"
+package testing
+
+val a: <caret>Bad = 12

idea/tests/org/jetbrains/jet/plugin/intentions/SpecifyTypeExplicitlyTest.java

@@ -61,6 +61,10 @@ public class SpecifyTypeExplicitlyTest extends LightIntentionActionTestCase {
         doTest();
     }
 
+    public void testRemoveUnresolvedType() {
+        doTest();
+    }
+
     @Override
     protected String getTestDataPath() {
         return PluginTestCaseBase.getTestDataPathBase() + "/intentions/";