> So I propose instead a bit of a hack. toHash, opEquals, and opCmp as > struct members be automatically annotated with pure, nothrow, and @safe > (if not already marked as @trusted). How about complete inference instead of a hack?