On Wednesday, 31 August 2016 at 15:10:11 UTC, Seb wrote: > AssumeNogc is potentially dangerous, so I don't know whether it > can make it directly, but only if you try you know ;-) So is assumeUnique