all OS functions should be "nothrow @trusted @nogc"

Kagamin via Digitalmars-d digitalmars-d at puremagic.com
Wed Jul 26 06:25:09 PDT 2017


On Tuesday, 25 July 2017 at 18:36:35 UTC, Moritz Maxeiner wrote:
> fgetc cannot be @trusted the same way fclose cannot be @trusted.
> If you pass either of them `null` - which constitutes a legal 
> @safe context - the behaviour is undefined, which contradicts 
> @trusted definition:
> <Trusted functions are guaranteed by the programmer to not 
> exhibit any undefined behavior if called by a safe function.>

There's a less questionable problem with it.


More information about the Digitalmars-d mailing list