[maccard]

What about

auto g() -> auto { return 0.0; }

[yunnpp]

0.0 is a double, so I would assume the return type of g is deduced to be double, if that is what you're asking.

[maccard]

I was more pointing out that the syntax was dumb for that particular example!