Re-exports don't work

[sirasistant]

Aim

Compiling a structure like this one

mod Foo {
    struct NewType{
        a: Field,
    }
}

mod Bar {
    use crate::Foo::NewType as BarStruct;
    use crate::Foo::NewType;
}

mod Baz {
    struct Works {
        a: Field,
    }
    use crate::Bar::BarStruct;
    use crate::Bar::NewType;
}

fn main(works: Baz::Works, fails: Baz::BarStruct, also_fails: Baz::NewType) -> pub Field {
    works.a + fails.a + also_fails.a
}

Expected Behavior

Should compile

Bug

% nargo compile                                                                                                                                                                                ~/constructor mainframe
error: Could not resolve 'BarStruct' in path
   ┌─ /mnt/user-data/alvaro/constructor/src/main.nr:23:21
   │
23 │     use crate::Bar::BarStruct;
   │                     ---------
   │

error: Could not resolve 'NewType' in path
   ┌─ /mnt/user-data/alvaro/constructor/src/main.nr:24:21
   │
24 │     use crate::Bar::NewType;
   │                     -------
   │

error: Could not resolve 'BarStruct' in path
   ┌─ /mnt/user-data/alvaro/constructor/src/main.nr:27:40
   │
27 │ fn main(works: Baz::Works, fails: Baz::BarStruct, also_fails: Baz::NewType) -> pub Field {
   │                                        ---------
   │

error: Could not resolve 'NewType' in path
   ┌─ /mnt/user-data/alvaro/constructor/src/main.nr:27:68
   │
27 │ fn main(works: Baz::Works, fails: Baz::BarStruct, also_fails: Baz::NewType) -> pub Field {
   │                                                                    -------
   │

To Reproduce

Installation Method

None

Nargo Version

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[kevaundray]

@guipublic assigning you as you worked on the original re-export issue