pub fn field_test<F, ConstraintF, AF>() -> Result<(), SynthesisError>where
F: Field,
ConstraintF: PrimeField,
AF: FieldVar<F, ConstraintF> + TwoBitLookupGadget<ConstraintF, TableConstant = F>,
for<'a> &'a AF: FieldOpsBounds<'a, F, AF>,