blob: 5c65dfd8b3287d467e1f4218da799af2a71ec9c3 [file] [log] [blame]
/*
* Copyright (c) 2011, 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 Given an instance creation expression of the form const q(a1, ..., an) it is
* a static warning if q is a constructor of an abstract class but q is not a
* factory constructor.
* @description Checks that an instance creation expression of the form const T(a1, .., an),
* where T is a class containing an abstract method, produces a static warning.
* @static-warning
* @author msyabro
* @reviewer rodionov
*/
class A { /// static type warning - abstract member in a concrete class, see "Abstract instance members"
const A();
f();
}
main() {
const A();
}