pub fn assert_output_contract<B: Observable, F: FnMut(Size) -> B>(make: F)Expand description
Drives B through Output’s obligations: make must return a fresh backend sized to the
requested Size, with no cells drawn yet.
§Panics
Panics on the first obligation B violates, or if any Output call returns Err
(Observable backends in this workspace are all infallible; a fallible one that fails here
has a bug this harness cannot usefully attribute, since it isn’t the obligation under test).