On Fri, 17 Sep 2021, Jens Maurer wrote:

> "The default argument promotions (6.5.2.2) for functions whose type does
> not include a prototype are expanded so that arguments that have type _Float16,
> _Float32, or _Float64 are promoted to double."

That's supposed to be removed in subsequent changes, since default
argument promotions of float to double are purely a legacy feature for
compatibility with K&R that should not be applied to any new types as per
DR#206. See http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2584.pdf
"*AI*: Jim: Remove default argument promotion from slide deck and proposal
for Part 3 as an Annex." (and
http://mailman.oakapple.net/pipermail/cfp-interest/2020-September/001782.html
).

-- 
Joseph S. Myers
joseph_at_[hidden]