From 73b7508b4b4df59e3e0754386805f1cf78d8dcd3 Mon Sep 17 00:00:00 2001 From: Frames White Date: Thu, 25 Jan 2024 18:51:21 +0800 Subject: [PATCH] stronger statement about aliasing --- docs/src/rule_author/superpowers/mutation_support.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/rule_author/superpowers/mutation_support.md b/docs/src/rule_author/superpowers/mutation_support.md index b7a3b69ec..497e11575 100644 --- a/docs/src/rule_author/superpowers/mutation_support.md +++ b/docs/src/rule_author/superpowers/mutation_support.md @@ -41,7 +41,7 @@ There are a few key points to follow: - There must be a mutable tangent input for every mutated primal input - When the primal value is changed, the corresponding change must be made to its tangent partner - When a value is returned, return its partnered tangent. - - If two primals alias, then their tangents must also alias. + - If (and only if) primal values alias, then their tangents must also alias. ### Example For example, consider the primal function with: