hax_frontend_exporter

Trait HirIdExt

Source 
pub trait HirIdExt {
    // Required method
    fn index(&self) -> (usize, usize);
}

Required Methods§

Source

fn index(&self) -> (usize, usize)

Implementations on Foreign Types§

Source§

impl HirIdExt for HirId

Source§

fn index(&self) -> (usize, usize)

Implementors§