diff --git a/examples/155-pack-impl-match.sx b/examples/155-pack-impl-match.sx
new file mode 100644
index 0000000..892a0d2
--- /dev/null
+++ b/examples/155-pack-impl-match.sx
@@ -0,0 +1,46 @@
+// Variadic heterogeneous type packs — `..$args` — impl matching
+// lock-in.
+//
+// Step 1d slice for the pack feature (see
+// ~/.claude/plans/lets-see-options-for-merry-dijkstra.md). Pins
+// today's concrete-only impl-matching behaviour: a user-declared
+// `impl Into(Block) for Closure(..$args) -> $R` does NOT match
+// any concrete closure source type. The xx cast site hits the
+// existing "no `Into(Block) for <src>` impl" diagnostic even
+// though the pack impl is reachable.
+//
+// Next commit (1d.B) teaches `tryUserConversion` /
+// `registerParamImpl` to walk a second `param_impl_pack_map`
+// when the concrete-key miss happens. Pack impls bind their
+// `$args` and `$R` to the concrete source closure's tail types
+// and return; monomorphisation proceeds against those bindings.
+//
+// The `Closure(s32, bool) -> bool` shape is not covered by
+// stdlib's hand-rolled impls (only `Closure() -> void` and
+// `Closure(bool) -> void`) and not covered by 96-block-multi-arg's
+// `Closure(s32, *void) -> void` impl, so the pack impl is the
+// only candidate.
+
+#import "modules/std.sx";
+#import "modules/std/objc_block.sx";
+
+impl Into(Block) for Closure(..$args) -> $R {
+    convert :: (self: Closure(..$args) -> $R) -> Block {
+        .{
+            isa = @_NSConcreteStackBlock,
+            flags = 0,
+            reserved = 0,
+            invoke = null,
+            descriptor = xx @__sx_block_descriptor,
+            sx_env = self.env,
+            sx_fn = self.fn_ptr,
+        };
+    }
+}
+
+main :: () -> s32 {
+    cl := (a: s32, b: bool) => true;
+    b : *Block = xx cl;
+    print("pack impl match ok\n");
+    return 0;
+}
diff --git a/tests/expected/155-pack-impl-match.exit b/tests/expected/155-pack-impl-match.exit
new file mode 100644
index 0000000..d00491f
--- /dev/null
+++ b/tests/expected/155-pack-impl-match.exit
@@ -0,0 +1 @@
+1
diff --git a/tests/expected/155-pack-impl-match.txt b/tests/expected/155-pack-impl-match.txt
new file mode 100644
index 0000000..47b309a
--- /dev/null
+++ b/tests/expected/155-pack-impl-match.txt
@@ -0,0 +1 @@
+/Users/agra/projects/sx/examples/155-pack-impl-match.sx:43:21: error: no `Into(Block) for cl_s32_bool__bool` impl — add a per-signature `__block_invoke_<sig>` trampoline + Into impl alongside the existing ones in modules/std/objc_block.sx, or declare it in your own code