Paul Mure
Paul Mure
There is a similar issue with projections. Here's an important example: ```rust fn foo(f: F) -> i32 where F: Fn(u64) -> i32, { f(42) } ``` The `Fn` trait is...
@W95Psp As discussed in the [issue](https://github.com/hacspec/hax/issues/834#issuecomment-2324987173), I'm trying to import the trait goal alongside the information stored in `ImplExprAtom`. However, this seems to break the uses of `ppx_inline` in many...
> @W95Psp As discussed in the [issue](https://github.com/hacspec/hax/issues/834#issuecomment-2324987173), I'm trying to import the trait goal alongside the information stored in `ImplExprAtom`. > > However, this seems to break the uses of...
After some back and forth, I decided to only import the trait goal for the `concrete` case for now. This avoids storing redundant copies of this trait goal since we...
That looks like the information we need. Thank you!
Yes, I think the PR just needs a review.
Controlling the prefix is definitely a priority right now. But we think it would also be useful to control how much of the fully qualified path is used based on...