blob: b032bc0b8a1ab0e0d358482c5e0c3d5a99aef2d8 [file] [log] [blame]
// Copyright (c) 2013, 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.
import 'package:expect/expect.dart';
import 'package:expect/expect.dart' as prefix; // Define 'prefix'.
checkIsUnresolved(var v) {
v is Unresolved; //# 00: compile-time error
v is Unresolved<int>; //# 01: compile-time error
v is prefix.Unresolved; //# 02: compile-time error
v is prefix.Unresolved<int>; //# 03: compile-time error
}
checkIsListUnresolved(var v) {
v is List<Unresolved>; //# 04: compile-time error
v is List<Unresolved<int>>; //# 05: compile-time error
v is List<prefix.Unresolved>; //# 06: compile-time error
v is List<prefix.Unresolved<int>>; //# 07: compile-time error
v is List<int, String>; //# 08: compile-time error
}
checkAsUnresolved(var v) {
v as Unresolved; //# 09: compile-time error
v as Unresolved<int>; //# 10: compile-time error
v as prefix.Unresolved; //# 11: compile-time error
v as prefix.Unresolved<int>; //# 12: compile-time error
}
checkAsListUnresolved(var v) {
v as List<Unresolved>; //# 13: compile-time error
v as List<Unresolved<int>>; //# 14: compile-time error
v as List<prefix.Unresolved>; //# 15: compile-time error
v as List<prefix.Unresolved<int>>; //# 16: compile-time error
v as List<int, String>; //# 17: compile-time error
}
void main() {
checkIsUnresolved('');
checkAsUnresolved('');
checkIsListUnresolved(new List());
checkAsListUnresolved(new List());
new undeclared_prefix.Unresolved(); //# 18: compile-time error
new undeclared_prefix.Unresolved<int>(); //# 19: compile-time error
try {
throw 'foo';
}
on Unresolved //# 20: compile-time error
catch (e) {
}
try {
throw 'foo';
}
on Unresolved<int> //# 21: compile-time error
catch (e) {
}
try {
throw 'foo';
}
on prefix.Unresolved //# 22: compile-time error
catch (e) {
}
try {
throw 'foo';
}
on prefix.Unresolved<int> //# 23: compile-time error
catch (e) {
}
try {
throw 'foo';
}
on undeclared_prefix.Unresolved<int> // //# 24: compile-time error
catch (e) {
}
}