Compiler panic: type aliases cannot be used in type namespace

[LogvinovLeon]

Aim

This code should compile without breaking the compiler:

type Bytes32 = [u8; 32];

trait Hello {
    fn hello(self) -> Field {}
}

impl Hello for Bytes32 {
    fn hello(self) -> Field {
        1
    }
}

fn main(x: pub Field) {
    let value: Bytes32 = [0; 32];
    let y = Bytes32::hello(value);
    assert(y == x);
}

Expected Behavior

Compiles

Bug

The application panicked (crashed).
Message:  type aliases cannot be used in type namespace
Location: compiler/noirc_frontend/src/hir/resolution/import.rs:233

To Reproduce

1. Try to compile

Project Impact

Nice-to-have

Impact Context

I'm implementing my own Serde and because of this bug - I can't use consistent syntax, but need to switch and use Type::serialize(x) for structs and x.serialize() for Bytes32.

    fn deserialize(data: [Field; STORAGE_WITHIN_BLOCK_1_SERIALIZED_LEN]) -> Self {
        let mut fragment = Fragment::new_focused(data);
        let block_hash = fragment.pop_front_array().deserialize();
        let account = Account::deserialize(fragment.pop_front_array());
        let values = [fragment.pop_front_array().deserialize()];
        StorageWithinBlock {
            block_hash,
            account,
            values,
        }
    }

Workaround

Yes

Workaround Description

As described above

Additional Context

No response

Installation Method

Binary (noirup default)

Nargo Version

nargo version = 0.28.0

NoirJS Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response

[jfecher]

Duplicate of #4469