docs(test): clarify downcast drop-glue fixture

Stevengre · Stevengre · commit dafd5f50b824 · 2026-04-02T02:51:16.000Z
diff --git a/kmir/src/tests/unit/test_smir.py b/kmir/src/tests/unit/test_smir.py
@@ -48,6 +48,10 @@ def test_function_tys(smir_file: Path, update_expected_output: bool) -> None:
 
 
 def test_call_edges_preserve_drop_glue_for_downcast_field() -> None:
+    # This SMIR models:
+    #   local 1: Wrapper
+    #   Drop(local 1 . Downcast(0) . Field(0, Inner))
+    # so `call_edges` must keep the reachable `std::ptr::drop_in_place::<Inner>` callee.
     smir_info = SMIRInfo(
         {
             'name': 'drop-downcast-field',

Original file line number	Diff line number	Diff line change
`@@ -48,6 +48,10 @@ def test_function_tys(smir_file: Path, update_expected_output: bool) -> None:`
`48`	`48`
`49`	`49`
`50`	`50`	`def test_call_edges_preserve_drop_glue_for_downcast_field() -> None:`
	`51`	`+ # This SMIR models:`
	`52`	`+ # local 1: Wrapper`
	`53`	`+ # Drop(local 1 . Downcast(0) . Field(0, Inner))`
	`54`	+ # so `call_edges` must keep the reachable `std::ptr::drop_in_place::<Inner>` callee.
`51`	`55`	`smir_info = SMIRInfo(`
`52`	`56`	`{`
`53`	`57`	`'name': 'drop-downcast-field',`