Throw a type error in production mode when the type of the type test is not

tests/language/language.status

 # Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 # for details. All rights reserved. Use of this source code is governed by a
 # BSD-style license that can be found in the LICENSE file.
 
 # This directory contains tests that are intended to show the
 # current state of the language.
 
 # In order to maintain maximum test coverage for all builds,
 # please use the following procedure to mark a test
 # failed on architectures other than the one you are working on.
@@ skipping 55 matching lines @@
 ConstructorRedirectTest/01: Fail # Issue 2103.
 
 # DartC or Frog specific tests that should not be run by the VM
 *DartcTest: Skip
 *DartcNegativeTest: Skip
 *FrogTest: Skip
 *FrogNegativeTest: Skip
 
 [ $compiler == none && $unchecked ]
 
-IsNotClass3NegativeTest: Fail  # Spec unclear.
 Prefix16NegativeTest: Fail    # Bug 5532534
 
 [ $compiler == none && $mode == debug ]
 GCTest: Skip  # Takes too long.
 
 [ $compiler == dartc ]
 AbstractSyntaxTest/01: Fail
 ApplicationNegativeTest: Fail
 AssertKeywordNegativeTest: Fail
 AssertTest: Fail             # Uses AssertError class. Bug 4385894.
@@ skipping 14 matching lines @@
 DefaultFactoryLibraryTest: Fail          # Issue 514
 DisablePrivacyTest: Skip  # Issue 1882: Needs --disable_privacy support.
 DuplicateImplementsTest: Skip # Issue 976
 Field3aNegativeTest: Fail
 FieldMethod4NegativeTest: Fail
 FinalSyntaxTest/*: Skip  # can't handle base case
 FunctionTypeAliasNegativeTest: Fail  # Bug 5231617.
 GenericParameterizedExtendsTest: Skip  # Bug 5392297
 GettersSettersType3Test: Fail # Issue 2351
 InstanceCallWrongArgumentCountNegativeTest: Fail
+Instanceof3Test: Fail # Issue 2571
 Label2NegativeTest: Fail    # issue 1658
 Library4NegativeTest: Fail   # Bug 5406175
 ListLiteral4Test: Fail       # Issue 1343
 LiteralUnaryPlusTest/01: Fail # Issue 1399
 MapLiteral4Test: Fail        # Issue 1343
 NamedParametersNegativeTest: Fail
 NoSuchMethodNegativeTest: Fail
 OverrideFieldMethod1NegativeTest: Fail # Bug 5215249
 OverrideFieldMethod2NegativeTest: Fail # Bug 5215249
 OverrideFieldMethod3NegativeTest: Fail # Bug 5215249
@@ skipping 180 matching lines @@
 GenericDeepTest: Fail
 GenericInstanceofTest: Fail
 GenericInstanceof2Test: Fail
 GenericSyntaxTest: Fail
 GenericTest: Fail
 GenericsTest: Fail
 GetterClosureExecutionOrderTest: Pass # TODO(jmesserly): I don't think this is really passing in the static case
 ImplicitScopeTest: Fail
 ImpliedInterfaceTest: Fail
 Instanceof2Test: Fail
+Instanceof3Test: Fail # Issue 2571
 InterfaceFactory3NegativeTest: Fail
 IsNotClass4NegativeTest: Fail
 LabelTest: Fail
 ListLiteral3Test: Fail # vm and frog throw different exceptions
 ListLiteral4Test: Fail # missing type checks on index operations
 ListTest: Fail         # array bound checks not implemented
 LocalFunction3Test: Fail
 LocalFunctionTest: Fail
 ManyGenericInstanceofTest: Fail
 MapLiteral4Test: Fail # missing checks on map index operations
@@ skipping 140 matching lines @@
 
 [ ($compiler == frog || $compiler == frogsh) && $runtime == none ]
 *: Skip
 
 [ $arch == simarm ]
 *: Skip
 
 [ $arch == arm ]
 *: Skip