13af6ab5fSopenharmony_ci/* 23af6ab5fSopenharmony_ci * Copyright (c) 2023-2024 Huawei Device Co., Ltd. 33af6ab5fSopenharmony_ci * Licensed under the Apache License, Version 2.0 (the "License"); 43af6ab5fSopenharmony_ci * you may not use this file except in compliance with the License. 53af6ab5fSopenharmony_ci * You may obtain a copy of the License at 63af6ab5fSopenharmony_ci * 73af6ab5fSopenharmony_ci * http://www.apache.org/licenses/LICENSE-2.0 83af6ab5fSopenharmony_ci * 93af6ab5fSopenharmony_ci * Unless required by applicable law or agreed to in writing, software 103af6ab5fSopenharmony_ci * distributed under the License is distributed on an "AS IS" BASIS, 113af6ab5fSopenharmony_ci * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 123af6ab5fSopenharmony_ci * See the License for the specific language governing permissions and 133af6ab5fSopenharmony_ci * limitations under the License. 143af6ab5fSopenharmony_ci */ 153af6ab5fSopenharmony_ci 163af6ab5fSopenharmony_cifunction foo1(): Int[] | null { 173af6ab5fSopenharmony_ci return null; 183af6ab5fSopenharmony_ci} 193af6ab5fSopenharmony_ci 203af6ab5fSopenharmony_cifunction foo2(): Int[] | null { 213af6ab5fSopenharmony_ci let obj_tmp: Int[] = [11, 21, 31]; 223af6ab5fSopenharmony_ci return obj_tmp; 233af6ab5fSopenharmony_ci} 243af6ab5fSopenharmony_ci 253af6ab5fSopenharmony_cifunction main(): void { 263af6ab5fSopenharmony_ci let x: int = 0; 273af6ab5fSopenharmony_ci 283af6ab5fSopenharmony_ci let potentiallyNullObj: Int[] | null = foo1(); 293af6ab5fSopenharmony_ci let number: Int | undefined = potentiallyNullObj?.[x++] ?? 2; 303af6ab5fSopenharmony_ci assert(number == 2); 313af6ab5fSopenharmony_ci assert(x == 0); // 0 as x was not incremented 323af6ab5fSopenharmony_ci 333af6ab5fSopenharmony_ci let obj: Int[] | null = foo2(); 343af6ab5fSopenharmony_ci number = obj?.[x++]; 353af6ab5fSopenharmony_ci 363af6ab5fSopenharmony_ci let a : Int = 11; 373af6ab5fSopenharmony_ci assert(number == a); 383af6ab5fSopenharmony_ci assert(x == 1); // 1 as x was incremented 393af6ab5fSopenharmony_ci} 40