Repository navigation

Rollup of 6 pull requests - #113673

Merged

bors merged 15 commits into

rust-lang:masterfrom

matthiaskrgr:rollup-zcume6k

Jul 13, 2023

Commits on Jul 10, 2023

avoid building proof trees in select
lcnr
committed
4965caf
Only use max_line_length = 100 for *.rs
cuviper
committed
a219505

Commits on Jul 12, 2023

Add jump to doc
GuillaumeGomez
committed
3fd36bc
Update jump to def tests
GuillaumeGomez
committed
6d44879
DefIds are not only about CrateItem
spastorino
committed
5cf570f
make MCP510 behavior explicitly opt-in
lqd
committed
2b61a5e

Commits on Jul 13, 2023

refactor proof tree formatting
lcnr
committed
f446894
typo
lcnr
committed
1b4b2e0
Add Adt to SMIR
spastorino
committed
c80a0f3
Rollup merge of #113536 - lcnr:proof-tree-select, r=BoxyUwU
matthiaskrgr
authored
dec104c
Rollup merge of #113558 - cuviper:rs100, r=Mark-Simulacrum
matthiaskrgr
authored
76f62a9
Rollup merge of #113570 - lcnr:inspect-format, r=BoxyUwU
matthiaskrgr
authored
b0eb3c7
Rollup merge of #113623 - GuillaumeGomez:add-jump-to-doc, r=notriddle
matthiaskrgr
authored
3614611
Rollup merge of #113629 - spastorino:smir-types-3, r=oli-obk
matthiaskrgr
authored
017112f
Rollup merge of #113631 - lqd:fix-113597, r=petrochenkov
matthiaskrgr
authored
fc1cb04