Do not allocate pvar even in ADT param when annotation is provided

coord-e · coord-e · commit a3a981204cf8 · 2025-12-31T16:50:20.000+09:00
diff --git a/src/refine/template.rs b/src/refine/template.rs
@@ -412,6 +412,8 @@ where
                                 .with_scope(&builder)
                                 .build_refined(param_ty.ty)
                         }
+                    } else if self.param_refinement.is_some() {
+                        rty::RefinedType::unrefined(self.inner.build(param_ty.ty).vacuous())
                     } else {
                         rty::RefinedType::unrefined(
                             self.inner

Original file line number	Diff line number	Diff line change
`@@ -412,6 +412,8 @@ where`
`412`	`412`	`.with_scope(&builder)`
`413`	`413`	`.build_refined(param_ty.ty)`
`414`	`414`	`}`
	`415`	`+ } else if self.param_refinement.is_some() {`
	`416`	`+ rty::RefinedType::unrefined(self.inner.build(param_ty.ty).vacuous())`
`415`	`417`	`} else {`
`416`	`418`	`rty::RefinedType::unrefined(`
`417`	`419`	`self.inner`