pub trait CheckedLegacyInput<F: FieldWitness> {
// Required method
fn to_checked_legacy_input(
&self,
inputs: &mut Inputs<F>,
w: &mut Witness<F>,
);
// Provided method
fn to_checked_legacy_input_owned(&self, w: &mut Witness<F>) -> Inputs<F> { ... }
}