X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/e6d772c160cde406f7cfbb91fbc157e3895c693c..ef7b7b99c5c0805d9f37a77a66f2b5d9e4ad215b:/personal/_posts/2018-07-19-const.md

diff --git a/personal/_posts/2018-07-19-const.md b/personal/_posts/2018-07-19-const.md
index 23e9325..2bcd009 100644
--- a/personal/_posts/2018-07-19-const.md
+++ b/personal/_posts/2018-07-19-const.md
@@ -39,6 +39,7 @@ Clearly, we don't want CTFE to have actually observable side-effects outside of
 
 In fact, just naively letting programs read files would also be grossly unsafe:
 When computing the length of an array twice, it is important that we obtain the same result.
+**Update:** As @eddyb points out, things get even worse once you consider const generics, traits, and coherence: At that point, you have to [rely on evaluating the same expression in different crates to produce the same result](https://internals.rust-lang.org/t/mir-constant-evaluation/3143/47). **/Update**
 
 > *CTFE must be deterministic.*