On Tuesday, 29 December 2020 at 19:26:20 UTC, Per Nordlöw wrote: > Can you elaborate on which case I've missed? Unless, CTFE incorporate non-deterministic states, but afaict it isn't allowed to do that since, the functions it calls must all be pure.