---

froystig · froystig · commit 95b2b62790d7 · 2010-09-07T00:54:23.000-07:00
yaml --- r: 636 b: refs/heads/master c: 5e5112d h: refs/heads/master v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: cf62b54028ef949298fc38a815f5f0a3e1666261
+refs/heads/master: 5e5112dac672d2364e446faf55a8fb326d53e741
diff --git a/trunk/src/boot/me/trans.ml b/trunk/src/boot/me/trans.ml
@@ -2883,11 +2883,13 @@ let trans_visitor
                   patch null_jmp;
                   note_drop_step ty "drop_ty: done box-drop path";
 
-            | MEM_interior when type_points_to_heap ty ->
-                note_drop_step ty "drop_ty heap-referencing path";
+            | MEM_interior
+                when type_points_to_heap ty || (n_used_type_params ty > 0) ->
+                note_drop_step ty "drop_ty possibly-heap-referencing path";
                 iter_ty_parts ty_params cell ty
                   (drop_ty ty_params) curr_iso;
-                note_drop_step ty "drop_ty: done heap-referencing path";
+                note_drop_step ty
+                  "drop_ty: done possibly-heap-referencing path";
 
 
             | MEM_interior ->

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: cf62b54028ef949298fc38a815f5f0a3e1666261`
	`2`	`+refs/heads/master: 5e5112dac672d2364e446faf55a8fb326d53e741`