[Voted into the WP at the July, 2009 meeting as part of N2927.]

Proposed resolution (July, 2009)

See document PL22.16/09-0117 = WG21 N2927.

According to 7.5.5 [expr.prim.lambda] paragraph 10, the following lambda expressions are ill-formed because the return types of the generated operator() functions are an array type and a function type, respectively:

    void f() {
      []{ return ""; };
      []{ return f; };
    }

It would seem reasonable to expect the array-to-pointer and function-to-pointer decay to apply to these return values and hence to the inferred return type of operator().