const-eval

const-eval copied to clipboard

Restricted file writes in `const fn`

9

Hi! :wave: During Oxidizeconf's impl days @oli-obk and I talked about adding a _very restricted_ version of disk writes to `const fn` contexts. This is an issue to continue that...

yoshuawuyts

`&mut T` during the evaluation of a const/static initializer

7

While is very important to not have `static` or `const` items of such types, during the evaluation of a `static` or `const` item we might want to work with intermediate...

oli-obk

`const fn` and generics

34

Now that I came to like const soundness, of course I had to start thinking about how to achieve [const soundness](https://www.ralfj.de/blog/2018/07/19/const.html) in the presence of generics. The problem is that...

RalfJung

Static creation of mutexes

2

I haven't been following the constant-evaluation work, but wanted to check that this is on the agenda? ```rust // for any T ... static mut X: Mutex = Mutex::new(None); ```

dhardy

These days, values of types like `MaybeUninit` are only ever represented in-memory in the interpreter; they cannot be stored in a `Scalar`. Only integers (that never have provenance) and pointers...

RalfJung