library test;
import self as self;
import "dart:core" as core;

static method main() → dynamic {
  core::Object o = 1;
  try {
    do {
    }
    while (o as{TypeError} core::bool)
    throw "no exception";
  }
  on core::TypeError catch(no-exception-var) {
  }
}