Avoid bundling use items.

[maximebuyse]

This avoids adding include statements in the generated f* with DUMMY idents (see #272)

[W95Psp]

I think this makes a lot of sense.
The Use items are exposed in the AST, but that is a bit useless: use and their name indirections are erased by Rust earlier than where we hook.
Thus no any item used by Rust will ever refer to such use paths.

We should revisit use in the AST. But definitively, that's the use items in hax' AST which are to revisit, not the bundles.
I'd be fine merging this PR if you had a comment that explains a bit this situation, I think that's a useful PR. Wdyt @maximebuyse?

[maximebuyse]

I think this makes a lot of sense. The Use items are exposed in the AST, but that is a bit useless: use and their name indirections are erased by Rust earlier than where we hook. Thus no any item used by Rust will ever refer to such use paths.

We should revisit use in the AST. But definitively, that's the use items in hax' AST which are to revisit, not the bundles. I'd be fine merging this PR if you had a comment that explains a bit this situation, I think that's a useful PR. Wdyt @maximebuyse?

Yes, I think it will become irrelevant if we try to minimize the bundles (use items shouldn't have or be dependencies) but it is a good way to get rid of this problem for now. I'll add a comment.

[W95Psp]

Looks good to me, !