thank centril
authorRalf Jung <post@ralfj.de>
Thu, 19 Jul 2018 18:44:54 +0000 (20:44 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 19 Jul 2018 18:44:54 +0000 (20:44 +0200)
personal/_posts/2018-07-19-const.md

index f511b9f9da80797dd55855523cf005f1af616520..da18fc15d1aaba989ed68452795fbf251b185164 100644 (file)
@@ -233,5 +233,5 @@ In particular, I propose that *when type-checking safe code in const context, we
 There are still plenty of open questions, in particular around the interaction of [`const fn` and traits](https://github.com/rust-lang/rust/issues/24111#issuecomment-311029471), but I hope this terminology is useful when having those discussions.
 Let the type systems guide us :)
 
 There are still plenty of open questions, in particular around the interaction of [`const fn` and traits](https://github.com/rust-lang/rust/issues/24111#issuecomment-311029471), but I hope this terminology is useful when having those discussions.
 Let the type systems guide us :)
 
-Thanks to @oli-obk for feedback on a draft of this post.
+Thanks to @oli-obk for feedback on a draft of this post, and to @centril for interesting discussion in #rust-lang that triggered me into developing these ideas and terminology.
 If you have feedback or questions, [let's discuss in the internals forum](https://internals.rust-lang.org/t/thoughts-on-compile-time-function-evaluation-and-type-systems/8004)!
 If you have feedback or questions, [let's discuss in the internals forum](https://internals.rust-lang.org/t/thoughts-on-compile-time-function-evaluation-and-type-systems/8004)!