Opaque type residing in the same package object as Newtype/Subtype breaks compilation

[m-kalai]

I created simple-as-possible repo to demonstrate this issue -> https://github.com/m-kalai/zio-prelude-opaque-issue

When issue.test.model#Whatever type is just ordinary type alias, code compiles. When this same type becomes opaque type, code compilation fails with:

We were unable to read your assertion at compile-time.

You must either define your assertion directly or refer to other inline definitions:

    override inline def assertion = greaterThan(10) && lessThan(100).

    or

    inline def extracted = greaterThan(10) && lessThan(100).
    override inline def assertion = extracted.

It fails for both CustomerId and CustomerName.

Expected result would be that code compiles. Also this behaviour seems to be exclusive to package objects.

I'd like to help with the fix but i need some guidance.

[sideeffffect]

Let me try to summon @kitlangton , maybe he'll be able to help.

[ktonga]

I'm also seeing this.

In my experience it's not exclusive to package objects but it happens when the opaque type is defined within the same file as the newtypes.