// Copyright (c) 2020, 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.

// Requirements=nnbd-strong

// Many other tests will check that static nullability checks are applied to
// actual arguments of regular function invocations. This test is still not
// redundant, because it involves a built-in type and methods subject to
// patching, and patching could introduce bugs in this area.

import 'dart:typed_data';

main() {
  // Float32x4
  final float32x4 = Float32x4(0.0, 0.0, 0.0, 0.0);

  float32x4 + null;
  //          ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4 - null;
  //          ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4 * null;
  //          ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4 / null;
  //          ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.lessThan(null);
  //                 ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.lessThanOrEqual(null);
  //                        ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.greaterThan(null);
  //                    ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.greaterThanOrEqual(null);
  //                           ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.equal(null);
  //              ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.notEqual(null);
  //                 ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.scale(null);
  //              ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.clamp(null, float32x4);
  //              ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.clamp(float32x4, null);
  //                         ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.shuffle(null);
  //                ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.shuffleMix(float32x4, null);
  //                              ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.shuffleMix(null, 0);
  //                   ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.withX(null);
  //              ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.withY(null);
  //              ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.withZ(null);
  //              ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.withW(null);
  //              ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.min(null);
  //            ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float32x4.max(null);
  //            ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  Float32x4(null, 0.0, 0.0, 0.0);
  //        ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  Float32x4(0.0, null, 0.0, 0.0);
  //             ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  Float32x4(0.0, 0.0, null, 0.0);
  //                  ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  Float32x4(0.0, 0.0, 0.0, null);
  //                       ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  // Float32x4.splat
  Float32x4.splat(null);
  //              ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  // Float64x2
  final float64x2 = Float64x2(0.0, 0.0);
  float64x2 + null;
  //          ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float64x2 - null;
  //          ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float64x2 * null;
  //          ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float64x2 / null;
  //          ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float64x2.scale(null);
  //              ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float64x2.clamp(null, float64x2);
  //              ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float64x2.clamp(float64x2, null);
  //                         ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float64x2.withX(null);
  //              ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float64x2.withY(null);
  //              ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  Float64x2(null, 0.0);
  //        ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  Float64x2(0.0, null);
  //             ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float64x2.min(null);
  //            ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  float64x2.max(null);
  //            ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  // Float64x2.splat
  Float64x2.splat(null);
  //              ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  // Int32x4
  final int32x4 = Int32x4(0, 0, 0, 0);
  int32x4 + null;
  //        ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4 - null;
  //        ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4 ^ null;
  //           ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4 & null;
  //        ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4 | null;
  //        ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4.shuffle(null);
  //              ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4.shuffleMix(int32x4, null);
  //                          ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4.shuffleMix(null, 0);
  //                 ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4.withX(null);
  //            ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4.withY(null);
  //            ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4.withZ(null);
  //            ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4.withW(null);
  //            ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4.withFlagX(null);
  //                ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4.withFlagY(null);
  //                ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4.withFlagZ(null);
  //                ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4.withFlagW(null);
  //                ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  Int32x4(null, 0, 0, 0);
  //      ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  Int32x4(0, null, 0, 0);
  //         ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  Int32x4(0, 0, null, 0);
  //            ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  Int32x4(0, 0, 0, null);
  //               ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4.select(null, float32x4);
  //             ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  int32x4.select(float32x4, null);
  //                        ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  // Int32x4.bool
  Int32x4.bool(null, false, false, false);
  //           ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  Int32x4.bool(false, null, false, false);
  //                  ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  Int32x4.bool(false, false, null, false);
  //                         ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified

  Int32x4.bool(false, false, false, null);
  //                                ^^^^
  // [analyzer] unspecified
  // [cfe] unspecified
}