Index: sdk/lib/_internal/compiler/js_lib/annotations.dart |
diff --git a/sdk/lib/_internal/compiler/js_lib/annotations.dart b/sdk/lib/_internal/compiler/js_lib/annotations.dart |
index c20098038129e57606faffa81d34859a523a1fba..0ade22151b95fae28989cdce2c87d986d9a23743 100644 |
--- a/sdk/lib/_internal/compiler/js_lib/annotations.dart |
+++ b/sdk/lib/_internal/compiler/js_lib/annotations.dart |
@@ -5,7 +5,9 @@ |
part of _js_helper; |
/// Tells the optimizing compiler that the annotated method has no |
-/// side-effects. |
+/// side-effects. Allocations don't count as side-effects, since they can be |
+/// dropped without changing the semantics of the program. |
+/// |
/// Requires @NoInline() to function correctly. |
class NoSideEffects { |
const NoSideEffects(); |