// Copyright (c) 2015, 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.
// VMOptions=--no-enable_asserts --enable_type_checks

// Ensure that enabling of type checks does not automatically enable asserts.

main() {
  assert(false);
  try {
    int i = "String";
    throw "FAIL";
  } on TypeError catch (e) {
    print("PASS");
  }
}