Method normalize

language/move-prover/bytecode/src/read_write_set_analysis.rs:834–844

(&self, env: &GlobalEnv)

impl Offset {
    pub fn normalize(&self, env: &GlobalEnv) -> RWOffset {
        match self {
            Offset::Field(idx) => RWOffset::Field(*idx),
            Offset::VectorIndex => RWOffset::VectorIndex,
            Offset::Global(s) => RWOffset::Global(
                s.get_type()
                    .into_struct_type(env)
                    .expect("Failed to normalize type"),
            ),
        }
    }
}

impl AccessPath {