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

/// @assertion Point<T> operator *(num factor)
/// Scale this point by factor as if it were a vector.
/// Important Note: This function accepts a num as its argument only so that you
/// can scale Point<double> objects by an int factor.
/// Because the star operator always returns the same type of Point that
/// originally called it, passing in a double factor on a Point<int> causes a
/// compile time error
/// @description Checks that if at least one of coordinates is null, a compile
/// time error occurs
/// @author kaigorodov, sgrekhov@unipro.ru

import "dart:math";

main() {
  new Point(0, 0) * null;
  //                ^^^^
  // [analyzer] COMPILE_TIME_ERROR.ARGUMENT_TYPE_NOT_ASSIGNABLE
  // [cfe] The value 'null' can't be assigned to a variable of type 'num' because 'num' is not nullable.
  new Point(null, 0) * 1;
//    ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
  new Point(0, null) * 1;
//    ^^^^^
// [analyzer] unspecified
// [cfe] unspecified
}