shua
Can you give me an example of an issue you had where it was helpful to see specifically which field in `Decls` the item was in?
That's fair, so with this PR the output would look like ``` decls[ trait Foo , impl Foo(^ty0_0) where {Foo(^ty_0)}, impl ! Foo(u32) ] ``` and you're issue was that...
@lcnr the decls should only have to be output once in the trace of a proof, because they shouldn't change. So I guess we could just print them in some...
Ah, this may be the issue in #182
I can take this ticket
edit: oops, already implemented using clippy, apologies for the noise --- > Also, it's a bit unfortunately, but things like `unwrap` are fine (and useful for conciseness) in tests -...
This doesn't seem relevant to the current rust codebase anymore. I guess this can be closed?
okay, I can take a look to see if it's represented in the current test cases
#7264 closes this I think
whoops, yes, that seems to be an oversight by me when I extended those tests