clarify conflusion
authorRalf Jung <post@ralfj.de>
Thu, 19 Jul 2018 18:41:06 +0000 (20:41 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 19 Jul 2018 18:41:06 +0000 (20:41 +0200)
personal/_posts/2018-07-19-const.md

index d93a6cddaf021ce1fd7341c730ad98b7b6a215af..f511b9f9da80797dd55855523cf005f1af616520 100644 (file)
@@ -228,6 +228,8 @@ I am not sure which effect that should or will have for promotion.
 ## Conclusion
 
 I have discussed the notions of CTFE determinism and CTFE correctness (which are properties of a CTFE engine like miri), as well as const safety (property of a piece of code) and const soundness (property of a type system).
 ## Conclusion
 
 I have discussed the notions of CTFE determinism and CTFE correctness (which are properties of a CTFE engine like miri), as well as const safety (property of a piece of code) and const soundness (property of a type system).
+In particular, I propose that *when type-checking safe code in const context, we guarantee that this code is const-safe*, i.e., that it will not hit a CTFE error (though panics are allowed, just like they are in "run-time" Rust code).
+
 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 :)