[Completion] Put post-param attributes in the post-param section of the newly created method either (usually happens with 'pure' or 'nothrow').