F* options on impl blocks

[jschneider-bensch]

Looks like the F* options are dropped in some cases. Is that expected?

struct B;

#[hax_lib::attributes]
#[hax_lib::fstar::options("--z3rlimit 300")]
impl B {
    fn g() -> Self {
        B
    }
}

Open this code snippet in the playground

@Parrot7483 ran into this here: cryspen/libcrux#1157

[W95Psp]

Hi Jonas, thanks for the report!

This is indeed a bug, I opened an issue here: #1698.
Feel free to add more content or add a comment over there if something is unclear! :)