From 8f5451832eca55ba79031bf3f13021db25c5fdf4 Mon Sep 17 00:00:00 2001
From: Antonis Geralis <43617260+planetis-m@users.noreply.github.com>
Date: Wed, 8 May 2024 23:53:29 +0300
Subject: [PATCH] Add a note about the sideeffect pragma (#23543)

(cherry picked from commit 63398b11f51529d8a3350853fcf7b7a1cf522b7a)
---
 doc/manual.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/manual.md b/doc/manual.md
index b436361fed..5d85b8c5bb 100644
--- a/doc/manual.md
+++ b/doc/manual.md
@@ -5358,6 +5358,8 @@ To override the compiler's side effect analysis a `{.noSideEffect.}`
 **Side effects are usually inferred. The inference for side effects is
 analogous to the inference for exception tracking.**
 
+When the compiler cannot infer side effects, as is the case for imported
+functions, one can annotate them with the `sideEffect` pragma.
 
 GC safety effect
 ----------------