HashMap<HirId, AttributeMap>

[KisaragiEffective]

HirId ... Expr に対応する構文木を指す識別子
AttributeMap ... Expr が持つ属性を格納する連想配列

例:

fn a(b: Option<i32>) -> i32 {
    b.unwrap()
}

// map: { HirId!(a.b): AttributeMap { MayPanic: true, SideEffect: false } }

[KisaragiEffective]

設計がだるいので当面はHashMap<SomeEnum, Box>にする