GoodAllocator doesn't have to be 'static with in-place where clause

src/cs/implementations/witness.rs

@@ -30,7 +30,7 @@ pub struct WitnessSet<F: SmallField> {
 #[derive(Derivative, serde::Serialize, serde::Deserialize)]
 #[derivative(Clone, Debug)]
 #[serde(bound = "F: serde::Serialize + serde::de::DeserializeOwned")]
-pub struct WitnessVec<F: SmallField, A: GoodAllocator> {
+pub struct WitnessVec<F: SmallField, A: GoodAllocator = Global> {
     pub public_inputs_locations: Vec<(usize, usize)>,
     #[serde(serialize_with = "crate::utils::serialize_vec_with_allocator")]
     #[serde(deserialize_with = "crate::utils::deserialize_vec_with_allocator")]
@@ -40,7 +40,10 @@ pub struct WitnessVec<F: SmallField, A: GoodAllocator> {
     pub multiplicities: Vec<u32, A>,
 }
 
-impl<F: SmallField, A: GoodAllocator> MemcopySerializable for WitnessVec<F, A> {
+impl<F: SmallField, A: GoodAllocator> MemcopySerializable for WitnessVec<F, A>
+where
+    A: 'static,
+{
     fn read_from_buffer<R: std::io::Read>(mut src: R) -> Result<Self, Box<dyn std::error::Error>> {
         let public_inputs_locations = read_vec_from_buffer(&mut src)?;
         let all_values = MemcopySerializable::read_from_buffer(&mut src)?;

src/cs/traits/mod.rs

@@ -10,9 +10,6 @@ pub mod evaluator;
 pub mod gate;
 pub mod trace_source;
 
-pub trait GoodAllocator:
-    Allocator + Clone + Default + Send + Sync + std::fmt::Debug + 'static
-{
-}
+pub trait GoodAllocator: Allocator + Clone + Default + Send + Sync + std::fmt::Debug {}
 
 impl GoodAllocator for std::alloc::Global {}