| // 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. |

| /// @assertion An expression of the form 'e as T' is potentially constant if e is |

| /// a potentially constant expression and T is a potentially constant type |

| /// expression, and it is further constant if e is constant |

| /// @description Checks that an expression of the form 'e as T' is potentially |

| /// constant if e is a potentially constant expression and T is a potentially |

| /// constant type expression, and it is further constant if e is constant |

| /// @author sgrekhov@unipro.ru |

| // Requirements=nnbd-weak |

| import "../../../Utils/expect.dart"; |

| const C() : w = three as T; |

| Expect.equals(three, const C<int>().w); |