Fix wildcard type annotation

[pratapsingh1729]

This should fix #10. I added a small test, which passes for me.

[parno]

Thanks for putting this together! This is very niche, but I think a potentially slightly better fix might be to, in verus.pest replace

infer_type = {
    "_"
}

with

infer_type = {
    underscore_str
}

Then the original code in lib.rs ought to do the right thing. It probably doesn't make a big difference, but I think that if the original code happened to be:

let x : /* I wonder what this is*/ _ = bar();

then your fix would move the comment after the underscore.

[pratapsingh1729]

Ah interesting. I can fix this later today

[pratapsingh1729]

Changed the code to handle this. I tried adding a test for the case where there is a comment before the underscore, but that test failed to match rustfmt, as follows.

Input:

fn blahblah() {
let x: /* I wonder what this is*/ _ = bar();
}

verusfmt output:

fn blahblah() {
    let x:   /* I wonder what this is*/ _ = bar();
}

rustfmt output:

fn blahblah() {
    let x: /* I wonder what this is*/ _ = bar();
}

Note that verusfmt inserts an extra space ' ' character before the comment. Not sure if we care about this

[parno]

No, I officially don't care :) I think we can probably just omit this test, or move it to the snap-test.rs file. Thanks for trying to do the due diligence though!