pub struct HalCounters {
    // whatever information we want to get out of hal.
}

/// A structure that contains whatever debugging information is useful for wgpu developers and/or users.
pub struct InternalCounters {
    pub hal: HalCounters,
    pub allocated_textures: u32,
    pub allocated_buffers: u32,
    // ...
    // Option::None represents the case where a counter is "not set" for example if the information is about something that may not have happened.
    pub render_pass_encoding_time_ns: Option<u64>
    // ...
    // Also things that are more complicated than scalars, for example a data structure that describes the contents of the GPU memory allocator.
    // etc.
}

// Extracted this way:
let mut counters = wgpu_core::InternalCounters::default();
device.get_and_reset_internal_counters(&mut counters);
// or 
let counters = device.get_internal_counters(&mut counters);

pub struct CountderId(usize);

pub struct InternalCounters {
    // The bulk of the data
    counters: Vec<Option<f32>>,
    // other more complicated data.
    // ...
}

impl InternalCounters {
    pub fn reset(&mut self) { ... }
    pub fn set(id: CounterId, value: Into<f32>) { ... }
    pub fn scalars(&self) -> impl Iterator<Item=Option<(CounterId, f32)>> { ... }
}

pub const ALLOCATED_TEXTURES: CounterId = CounterId(0);
pub const ALLOCATED_BUFFERS: CounterId = CounterId(1);
// etc.

// Extracted this way:
let mut counters = wgpu_core::InternalCounters::default();
device.get_and_reset_internal_counters(&mut counters);
// or 
let counters = device.get_internal_counters(&mut counters);