[Bug] Import usage in circuit functions

[howardwu]

🐛 Bug Report

Unable to use imported types in circuit functions.

Code snippet to reproduce

import core.unstable.blake2s.Blake2s;

circuit Foo {
    function foo() -> [u8; 32] {
        return Blake2s::hash([0u8; 32], [0u8; 32])
    }
}

function main(a: u32, b: u32) -> u32 {
    let x = Foo::foo();
    return 5
}

Stack trace & error message

     |
   5 |          return Blake2s::hash([0u8; 32], [0u8; 32])
     |                 ^^^^^^^
     |
     = Cannot find value `Blake2s` in this scope

Error: Crate("leo-compiler", "Program failed due to previous error")

(Write what you expected to happen here)

Your Environment

• Leo v1.0.8

[damons]

Will this be fixed by the ASG patch?

[Protryon]

This will be fixed by ASG patch.

[Protryon]

fixed by asg