Motivation
When creating a circuit we have to take U & u from another circuit,
not the one being formed, so now there is an error here and the
without_witness function is not working as expected
Overview
It's simple to pass the correct generic inside
cargo-fmt (I didn't understand how the problem got in master, but I fixed it)
Motivation When creating a circuit we have to take
U&ufrom another circuit, not the one being formed, so now there is an error here and thewithout_witnessfunction is not working as expectedOverview