Updates release notes for PR #4152

.release-notes/next-release.md

@@ -31,3 +31,23 @@ mark and sweep passes.
 
 After we re-added the ability to override the return type for FFI function calls in a [previous release](https://github.com/ponylang/ponyc/releases/tag/0.50.0), we forgot to reintroduce some checks in the compiler that ensured that the specified return types would be known to the code generation pass. This caused some programs that introduced a new type (for example, a bare lambda) in the context of a FFI return type to crash the compiler. This is now fixed.
 
+## Support void* (Pointer[None]) parameters in bare lambdas and functions
+
+Unlike conventional FFI functions, bare lambdas `@{(...)}` and bare functions `fun @bare() => ...` did not support `Pointer[None]` parameters, Pony's equivalent of `void*`. This is despite the fact that like FFI functions, bare lambdas and functions are strictly intended for use with FFI calls and callbacks.
+
+This commit allows bare lambdas and bare functions with `Pointer[None]` parameters to accept arguments of any `Pointer[A]` type for these parameters. Therefore, code like the following now works:
+
+```pony
+use @printf[I32](fmt: Pointer[None] tag, ...)
+
+actor Main
+  new create(env: Env) =>
+    let printer = @{(fmt: Pointer[None] tag): I32 => @printf(fmt)}
+    let cb = this~print()
+    printer("Hello".cstring())
+    cb(" world!\n".cstring())
+
+  fun @print(fmt: Pointer[None]): I32 =>
+    @printf(fmt)
+```
+