Struct c2rust_refactor::transform::linkage::CanonicalizeStructs

pub struct CanonicalizeStructs;

canonicalize_structs Command

Usage: canonicalize_structs

Marks: target

For each type definition marked target, delete all other type definitions with the same name, and replace their uses with uses of the target type.

This only works when all the identically-named types have the same definition, such as when all are generated from #includes of the same C header.

Example:

mod a {
    pub struct Foo { ... }  // Foo: target
}

mod b {
    struct Foo { ... }  // same as ::a::Foo

    unsafe fn use_foo(x: &Foo) { ... }
}

After running canonicalize_structs:

mod a {
    pub struct Foo { ... }
}

mod b {
    // 1. `struct Foo` has been deleted
    // 2. `use_foo` now references `::a::Foo` directly
    unsafe fn use_foo(x: &::a::Foo) { ... }
}

Note that this transform does not check or adjust item visibility. If the target type is not visible throughout the crate, this may introduce compile errors.

Trait Implementations

impl Transform for CanonicalizeStructs

fn transform(&self, krate: &mut Crate, st: &CommandState, cx: &RefactorCtxt)

Apply the transformation.

fn min_phase(&self) -> Phase

Return the minimum phase at which this transform can operate. See the Phase docs for details. The default is Phase2.