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

// @dart = 2.7

class Annotation {
  final annotationField;
  const Annotation([this.annotationField]);
}

class X {
  @Annotation()
  int xvalue = 3;
}

foo() {
  X x = new X();
  return x.xvalue++;
}