Timothy G.
Results
2
issues of
Timothy G.
A proposition to allow for lazy finite or infinite data in Widgets as a Wrapper that is indistinguishable from a `Vec`. I believe it would help with: * Both Lazy...
The documentation for proof trees seems out of date. [In rustc-dev-guide/src/solve/proof-trees.md, line 19](https://github.com/rust-lang/rustc-dev-guide/blob/fa928a6d19e1666d8d811dfe3fd35cdad3b4e459/src/solve/proof-trees.md?plain=1#L19) there is a mention > For debugging you can use `-Zdump-solver-proof-tree` which dumps the proof tree for...