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

Author: coord-e

src/refine/template.rs

@@ -413,12 +413,16 @@ where
                                 .build_refined(param_ty.ty)
                         }
                     } else {
-                        rty::RefinedType::unrefined(
-                            self.inner
-                                .for_template(self.registry)
-                                .with_scope(&builder)
-                                .build(param_ty.ty),
-                        )
+                        if self.param_refinement.is_some() {
+                            rty::RefinedType::unrefined(self.inner.build(param_ty.ty).vacuous())
+                        } else {
+                            rty::RefinedType::unrefined(
+                                self.inner
+                                    .for_template(self.registry)
+                                    .with_scope(&builder)
+                                    .build(param_ty.ty),
+                            )
+                        }
                     }
                 });
             let param_rty = if param_ty.mutbl.is_mut() {