specify a bit more about the error

dart-lang · Nov 8, 2023 · 0e5d0b2 · 0e5d0b2
1 parent 971fe20
commit 0e5d0b2
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/working/macros/feature-specification.md b/working/macros/feature-specification.md
@@ -950,8 +950,10 @@ later resolved to a different declaration.
 
 In order to resolve these discrepancies we add this rule:
 
-- **It is an error for a macro to add a declaration which shadows any**
-  **previously resolved identifier.**.
+- **It is a compile time error for a macro to add a declaration which shadows**
+  **any previously resolved identifier.**. These errors occur after a macro
+  runs, when the compiler is merging in the macro results, and so it is not
+  catchable or detectable by macros.
 
 This situation can typically only happen because of one of the above scenarios
 surrounding metadata annotations or const evaluation, and can typically be