Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Rollup of 7 pull requests #113669

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 16 commits into from
Closed

Rollup of 7 pull requests #113669

Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
d9f4fb3
bootstrap: update defaults for `compiler` and `library` aliases
Jun 23, 2023
4965caf
avoid building proof trees in select
lcnr Jul 10, 2023
a219505
Only use max_line_length = 100 for *.rs
cuviper Jul 10, 2023
5cf570f
DefIds are not only about CrateItem
spastorino Jul 11, 2023
2b61a5e
make MCP510 behavior explicitly opt-in
lqd Jul 12, 2023
f446894
refactor proof tree formatting
lcnr Jul 11, 2023
1b4b2e0
typo
lcnr Jul 11, 2023
cf78716
self type param infer, avoid ICE
lcnr Jul 13, 2023
c80a0f3
Add Adt to SMIR
spastorino Jul 12, 2023
079bd41
Rollup merge of #112982 - lukas-code:bootstrap-alias-default-crates, …
matthiaskrgr Jul 13, 2023
41d5925
Rollup merge of #113536 - lcnr:proof-tree-select, r=BoxyUwU
matthiaskrgr Jul 13, 2023
9845e49
Rollup merge of #113558 - cuviper:rs100, r=Mark-Simulacrum
matthiaskrgr Jul 13, 2023
541482a
Rollup merge of #113570 - lcnr:inspect-format, r=BoxyUwU
matthiaskrgr Jul 13, 2023
92f20fe
Rollup merge of #113629 - spastorino:smir-types-3, r=oli-obk
matthiaskrgr Jul 13, 2023
a4dc1b5
Rollup merge of #113631 - lqd:fix-113597, r=petrochenkov
matthiaskrgr Jul 13, 2023
e4abdf6
Rollup merge of #113651 - lcnr:parent-def-id, r=compiler-errors
matthiaskrgr Jul 13, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
typo
  • Loading branch information
@lcnr
lcnr committed Jul 13, 2023
commit 1b4b2e0230465c4d3a897163c628f29d056df21a
2 changes: 1 addition & 1 deletion compiler/rustc_middle/src/traits/solve/inspect/format.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ pub(super) struct ProofTreeFormatter<'a, 'b> {
f: &'a mut (dyn Write + 'b),
}

/// A formatter which adds 4 spaces of identation to its input before
/// A formatter which adds 4 spaces of indentation to its input before
/// passing it on to its nested formatter.
///
/// We can use this for arbitrary levels of indentation by nesting it.
Expand Down