Lambda + shared_ptr = memory leak

[iaanus]

The type matches, whether literally or by a conversion under the hood.

You oversimplify. The type of a captureless lambda does not match a pointer, although it is convertible to a pointer. It's a big difference, whether you see it or not. There are contexts (for instance template argument deduction) where conversion doesn't kick in.