Bug 17381 – Checked format string is permissive after floating point argument

A float argument eliminates subsequent orphan argument checks. import std.format; void main() { static assert(!__traits(compiles, format!"%s"(1.5, 2))); } static assert fails because the expression should not compile because there is an orphan argument. (In real code, it would compile but throw FormatException at runtime.) Replacing %s with %f does not make a difference; it still compiles. You can have more arguments before the floating point argument; it always breaks the subsequent orphan argument checks. Ali

Meanwhile I found the reason for this: When checking at compile time, there is a cannot-format-floats-at-compiletime-exception thrown. For testing purpose this is ignored (as it is supposed to work in runtime) and hence the orphan-arguments-exception overlooked. Meanwhile format is able to format floats and doubles at compiletime (but yet not reals). Therefore the code above works meanwhile, but not with 1.5L yet.

dlang-bot seems to have forgotton to mention this: https://github.com/dlang/phobos/pull/7916

*** Issue 21529 has been marked as a duplicate of this issue. ***

@berni44 updated dlang/phobos pull request #7916 "Fix Issue 17381 - Checked format string is permissive after floating point argument" fixing this issue: - Fix Issue 17381 - Checked format string is permissive after floating point argument https://github.com/dlang/phobos/pull/7916

dlang/phobos pull request #7916 "Fix Issue 17381 - Checked format string is permissive after floating point argument" was merged into master: - 88547b8cbbbc70aa6c393286cab6314df3e0c77c by berni44: Fix Issue 17381 - Checked format string is permissive after floating point argument https://github.com/dlang/phobos/pull/7916