Incorrect visibility requirements on comptime functions

[nventuro]

The following program compiles with no warnings, as expected. Note that Foo::inner is private, but this is fine because it is only used inside Foo.

mod foo {
    pub struct Foo {
        inner: Field,
    }

    impl Foo {
        pub fn new(inner: Field) -> Self {
            Self { inner }
        }
    }
}

use foo::Foo;

fn main(x: Field) -> pub Foo {
    Foo::new(x)
}

However, if we change the call to new to be comptime, we get a warning:

mod foo {
    pub struct Foo {
        inner: Field,
    }

    impl Foo {
        pub fn new(inner: Field) -> Self {
            Self { inner }
        }
    }
}

use foo::Foo;

fn main() -> pub Foo {
    comptime { Foo::new(5) }
}

warning: inner is private and not visible from the current module
   ┌─ src/main.nr:16:5
   │
16 │     comptime { Foo::new(5) }
   │     ------------------------ inner is private
   │