Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,9 @@

/// @assertion It is a compile-time error if:
/// ...
/// - The resulting constructor is not valid (has a redirecting initializer and
/// other initializers, multiple super initializers, etc).
/// - The resulting constructor is not valid (it has a redirection as well as
/// some initializer list elements, or it has multiple `super` initializers,
/// etc).
///
/// @description Checks that it is a compile-time error if the resulting
/// constructor has a redirecting initializer and other initializers.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,9 @@

/// @assertion It is a compile-time error if:
/// ...
/// - The resulting constructor is not valid (has a redirecting initializer and
/// other initializers, multiple super initializers, etc).
/// - The resulting constructor is not valid (it has a redirection as well as
/// some initializer list elements, or it has multiple `super` initializers,
/// etc).
///
/// @description Checks that it is a compile-time error if the resulting
/// constructor has a redirecting initializer and other initializers.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,9 @@
// BSD-style license that can be found in the LICENSE file.

/// @assertion A non-redirecting generative constructor marked `augment` may:
/// - Add or replace the body of the augmented constructor with a new body.
/// - If the augmenting constructor has an explicit block body, then that body
/// replaces any existing constructor body.
/// ...
/// - If the augmenting constructor has an explicit block body, then that body
/// replaces any existing constructor body.
///
/// @description Checks that if the augmenting constructor has an explicit block
/// body, then that body replaces any existing constructor body.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,9 @@
// BSD-style license that can be found in the LICENSE file.

/// @assertion A non-redirecting generative constructor marked `augment` may:
/// - Add or replace the body of the augmented constructor with a new body.
/// - If the augmenting constructor has an explicit block body, then that body
/// replaces any existing constructor body.
/// ...
/// - If the augmenting constructor has an explicit block body, then that body
/// replaces any existing constructor body.
///
/// @description Checks that if the augmenting constructor has an explicit block
/// body, then that body replaces any existing constructor body.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,6 @@

/// @assertion A non-redirecting generative constructor marked `augment` may:
/// - Add or replace the body of the augmented constructor with a new body.
/// - If the augmenting constructor has an explicit block body, then that body
/// replaces any existing constructor body.
///
/// @description Checks that an augmenting constructor may add a body to an
/// augmented constructor.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,6 @@

/// @assertion A non-redirecting generative constructor marked `augment` may:
/// - Add or replace the body of the augmented constructor with a new body.
/// - If the augmenting constructor has an explicit block body, then that body
/// replaces any existing constructor body.
///
/// @description Checks that an augmenting constructor may add a body to an
/// augmented constructor.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,6 @@

/// @assertion A non-redirecting generative constructor marked `augment` may:
/// - Add or replace the body of the augmented constructor with a new body.
/// - If the augmenting constructor has an explicit block body, then that body
/// replaces any existing constructor body.
///
/// @description Checks that it is a compile-time error to augment a default
/// unnamed constructor (that doesn't exist during augmentation).
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,6 @@

/// @assertion A non-redirecting generative constructor marked `augment` may:
/// - Add or replace the body of the augmented constructor with a new body.
/// - If the augmenting constructor has an explicit block body, then that body
/// replaces any existing constructor body.
///
/// @description Checks that it is a compile-time error to augment a default
/// unnamed constructor (that doesn't exist during augmentation).
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of a top-level function
/// `augmented()` expression executes the original function body.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of a top-level function
/// `augmented()` expression executes the original function body.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of a static method
/// `augmented()` expression executes the original method body. Test a class.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of a static method
/// `augmented()` expression executes the original method body. Test a class.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of a static method
/// `augmented()` expression executes the original method body. Test a mixin.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of a static method
/// `augmented()` expression executes the original method body. Test a mixin.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of a static method
/// `augmented()` expression executes the original method body. Test an enum.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of a static method
/// `augmented()` expression executes the original method body. Test an enum.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of a static method
/// `augmented()` expression executes the original method body. Test an
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of a static method
/// `augmented()` expression executes the original method body. Test an
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of a static method
/// `augmented()` expression executes the original method body. Test an
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of a static method
/// `augmented()` expression executes the original method body. Test an
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of an instance method
/// `augmented()` expression executes the original method body. Test a class.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of an instance method
/// `augmented()` expression executes the original method body. Test a class.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of an instance method
/// `augmented()` expression executes the original method body. Test a mixin.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of an instance method
/// `augmented()` expression executes the original method body. Test a mixin.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of an instance method
/// `augmented()` expression executes the original method body. Test an enum.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,10 +2,10 @@
// 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 Inside the augmentation body, a special `augmented()` expression
/// may be used to execute the original function body. That expression takes an
/// argument list matching the original function's parameter list and returns
/// the function's return type.
/// @assertion Inside the augmenting function’s body, a special `augmented(…)`
/// expression may be used to execute the augmented function body. That
/// expression takes an argument list matching the augmented function's
/// parameter list, and it has the same return type as the enclosing function.
///
/// @description Checks that inside an augmentation body of an instance method
/// `augmented()` expression executes the original method body. Test an enum.
Expand Down
Loading