Currently, the strip_instruction match in strip_witness_of has a very fragile form which requires the programmer to add a strip_all_witness call where relevant. If we add OpCode::get_types_mut then we can have a similar pattern to get_inputs_mut and get_operands_mut which seems much less brittle.
Currently, the
strip_instructionmatch instrip_witness_ofhas a very fragile form which requires the programmer to add astrip_all_witnesscall where relevant. If we addOpCode::get_types_mutthen we can have a similar pattern toget_inputs_mutandget_operands_mutwhich seems much less brittle.