pub fn check_example_input_and_output_types_match_command_signature(
    example: &Example<'_>,
    cwd: &Path,
    engine_state: &mut Box<EngineState>,
    signature_input_output_types: &[(Type, Type)],
    signature_operates_on_cell_paths: bool
) -> HashSet<(Type, Type)>