1/* 2 * Copyright (c) 2021-2024 Huawei Device Co., Ltd. 3 * Licensed under the Apache License, Version 2.0 (the "License"); 4 * you may not use this file except in compliance with the License. 5 * You may obtain a copy of the License at 6 * 7 * http://www.apache.org/licenses/LICENSE-2.0 8 * 9 * Unless required by applicable law or agreed to in writing, software 10 * distributed under the License is distributed on an "AS IS" BASIS, 11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12 * See the License for the specific language governing permissions and 13 * limitations under the License. 14 */ 15 16interface A<T>{} 17class B<T>{} 18class C<T> implements A<T>{} 19class D{} 20function foo<T>(x: A<T>|B<T>) { 21 if (x instanceof A) { 22 return 41; 23 } else if (x instanceof B) { 24 return 42; 25 } 26 return -1; 27} 28 29function main() { 30 assert foo<D>(new B<D>()) == 42: "Error! branch with return 42 must be executed"; 31 assert foo<D>(new C<D>()) == 41: "Error! branch with return 41 must be executed"; 32} 33