From b8f3d87fcfc3c33e26168fe7943916bf57e55b53 Mon Sep 17 00:00:00 2001 From: Erik Ernst Date: Thu, 7 Nov 2024 14:02:48 +0100 Subject: [PATCH] WIP --- working/augmentation-libraries/feature-specification.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/working/augmentation-libraries/feature-specification.md b/working/augmentation-libraries/feature-specification.md index feeb12b3f..562af1bf0 100644 --- a/working/augmentation-libraries/feature-specification.md +++ b/working/augmentation-libraries/feature-specification.md @@ -932,7 +932,8 @@ potentially non-redirecting property of the constructor. It is a compile-time error if: -* The augmented constructor has any initializers or a body. +* The augmented constructor has an initializer list or a body, or it has a + redirection. #### Redirecting factory constructors