It seems like what’s going on is that when you manually declare the closure’s type, it forces the compiler to use that exact type. But that’s technically a closure declaration and not a type declaration, so the @convention attribute isn’t allowed. When the compiler is allowed to infer the closure’s type (from the type of the variable it is being stored in), it can infer the attribute too.