Struct walkabout::ir::Ir

pub struct Ir {
    pub items: BTreeMap<String, Item>,
    pub generics: BTreeMap<String, BTreeSet<String>>,
}

The intermediate representation.

Fields

items: BTreeMap<String, Item>

The items in the IR.

generics: BTreeMap<String, BTreeSet<String>>

The generic parameters that appear throughout the IR.

Walkabout assumes that generic parameters are named consistently throughout the types in the IR. This field maps each generic parameter to the union of all trait bounds required of that parameter.