about summary refs log tree commit diff
path: root/compiler/rustc_middle
AgeCommit message (Collapse)AuthorLines
2022-11-14Auto merge of #103858 - Mark-Simulacrum:bump-bootstrap, r=pietroalbinibors-1/+0
Bump bootstrap compiler to 1.66 This PR: - Bumps version placeholders to release - Bumps to latest beta - cfg-steps code r? `@pietroalbini`
2022-11-13Bump chalk to v0.87Michael Goulet-1/+1
2022-11-13Rollup merge of #104357 - RalfJung:is-sized, r=cjgillotMatthias Krüger-1/+1
add is_sized method on Abi and Layout, and use it This avoids the double negation of `!is_unsized()` that we have quite a lot.
2022-11-13Do not use `local_def_id` in `node_to_string`.Camille GILLOT-30/+24
2022-11-13Store a LocalDefId in hir::AnonConst.Camille GILLOT-3/+3
2022-11-13Store a LocalDefId in hir::GenericParam.Camille GILLOT-21/+14
2022-11-13Make user_provided_sigs a LocalDefIdMap.Camille GILLOT-2/+2
2022-11-13Store LocalDefId in hir::Closure.Camille GILLOT-2/+2
2022-11-13add is_sized method on Abi and Layout, and use itRalf Jung-1/+1
2022-11-13fix some typos in commentscui fliter-2/+2
Signed-off-by: cui fliter <imcusg@gmail.com>
2022-11-13Auto merge of #104282 - cjgillot:intern-span, r=compiler-errorsbors-45/+7
Hash spans when interning types Ignoring hash for spans creates an inconsistency between the `Hash` impl for `WithStableHash`, which takes them into account, and the `HashStable` impl which does not. cc `@compiler-errors` Fixes https://github.com/rust-lang/rust/issues/104271 Fixes https://github.com/rust-lang/rust/issues/104255 Fixes https://github.com/rust-lang/rust/issues/104238
2022-11-12Explain redundant mapping.Camille GILLOT-0/+4
2022-11-12Use variances for defining use diag.Camille GILLOT-53/+5
2022-11-12Inherit generics for impl-trait.Camille GILLOT-3/+23
2022-11-12Auto merge of #103530 - cjgillot:hir-lifetimes-direct, r=estebankbors-12/+10
Resolve lifetimes independently for each item-like. Now that the heavy-lifting is done on the AST and during lowering, we do not need to perform HIR lifetime resolution on a full item at once. Instead, we can treat each item-like independently, and look at `generics_of` the parent exceptionally for associated items.
2022-11-11Auto merge of #104293 - Manishearth:rollup-xj92d0k, r=Manishearthbors-0/+5
Rollup of 8 pull requests Successful merges: - #95292 (Allow specialized const trait impls.) - #100386 (Make `Sized` coinductive, again) - #102215 (Implement the `+whole-archive` modifier for `wasm-ld`) - #103468 (Fix unused lint and parser caring about spaces to won't produce invalid code) - #103531 (Suggest calling the instance method of the same name when method not found) - #103960 (piece of diagnostic migrate) - #104051 (update Miri) - #104129 (rustdoc: use javascript to layout notable traits popups) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
2022-11-11Skip stable hashing without incremental.Camille GILLOT-1/+3
2022-11-11Rollup merge of #103960 - AndyJado:var_path_only_diag, r=davidtwcoManish Goregaokar-0/+1
piece of diagnostic migrate r? `@davidtwco`
2022-11-11Rollup merge of #104202 - camsteffen:103748, r=estebankDylan DPC-1/+2
Fix ICE #103748 Fixes #103748
2022-11-11Use the interned stable hash as plain hash.Camille GILLOT-3/+1
2022-11-11Hash spans when interning.Camille GILLOT-6/+2
2022-11-11Do not rename bound variables when verbose-printing binders.Camille GILLOT-39/+5
2022-11-11Resolve lifetimes independently for each item-like.Camille GILLOT-10/+1
2022-11-11Tweak signatures in rustc_middle::hir::map.Camille GILLOT-2/+9
2022-11-10More nitsMichael Goulet-0/+4
2022-11-10Support DoubleEndedIterator for subst_iter and subst_iter_copiedMichael Goulet-9/+69
2022-11-10Rollup merge of #104235 - compiler-errors:more-ct-guar, r=oli-obkManish Goregaokar-5/+7
Use `const_error_with_guaranteed` more Better to pass down an ErrorGuaranteed rather than making a new one out of thin air, for some usages. Also for the ones where we *do* need to delay a bug, that delayed bug will have a more descriptive message.
2022-11-10Rollup merge of #104194 - BoxyUwU:early_binder_docs, r=compiler-errorsManish Goregaokar-0/+3
`EarlyBinder` docs
2022-11-10broken links go brrrrrBoxy-1/+1
2022-11-10Use const_error_with_guaranteed moreMichael Goulet-5/+7
2022-11-10Auto merge of #101990 - clubby789:dont-machine-apply-placeholder-method, ↵bors-0/+6
r=compiler-errors Fix auto-application of associated generic functions with placeholders Fixes #101920
2022-11-09Rollup merge of #103464 - JakobDegen:mir-parsing, r=oli-obkManish Goregaokar-0/+59
Add support for custom mir This implements rust-lang/compiler-team#564 . Details about the design, motivation, etc. can be found in there. r? ```@oli-obk```
2022-11-09Add domain size check to fix ICECameron Steffen-1/+2
2022-11-09docsBoxy-0/+3
2022-11-09Use `LayoutError`'s implementation of `IntoDiagnostic`SLASHLogin-4/+4
2022-11-09var_subdiag refinementAndyJado-0/+1
trim old
2022-11-09another optimization attemptRalf Jung-66/+83
2022-11-08Add support for custom MIR parsingJakob Degen-0/+59
2022-11-09Auto merge of #104179 - Manishearth:rollup-yvsx5hh, r=Manishearthbors-1/+3
Rollup of 7 pull requests Successful merges: - #100508 (avoid making substs of type aliases late bound when used as fn args) - #101381 (Test that target feature mix up with homogeneous floats is sound) - #103353 (Fix Access Violation when using lld & ThinLTO on windows-msvc) - #103521 (Avoid possible infinite loop when next_point reaching the end of file) - #103559 (first move on a nested span_label) - #103778 (Update several crates for improved support of the new targets) - #103827 (Properly remap and check for substs compatibility in `confirm_impl_trait_in_trait_candidate`) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
2022-11-08Rollup merge of #103827 - compiler-errors:rpitit-substs-compat, r=wesleywiserManish Goregaokar-1/+3
Properly remap and check for substs compatibility in `confirm_impl_trait_in_trait_candidate` Fixes #103824
2022-11-09Auto merge of #103171 - jackh726:gen-interior-hrtb-error, r=cjgillotbors-11/+15
Better error for HRTB error from generator interior cc #100013 This is just a first pass at an error. It could be better, and shouldn't really be emitted in the first place. But this is better than what was being emitted before.
2022-11-08Auto merge of #104168 - GuillaumeGomez:rollup-tf4edqc, r=GuillaumeGomezbors-1/+22
Rollup of 12 pull requests Successful merges: - #103928 (Add 'ty_error_with_guaranteed' and 'const_error_with_guaranteed') - #104027 (Place config.toml in current working directory if config not found) - #104093 (disable btree size tests on Miri) - #104097 (run alloc benchmarks in Miri and fix UB) - #104104 (Add split-debuginfo print option) - #104109 (rustdoc: Add mutable to the description) - #104113 (Fix `const_fn_trait_ref_impl`, add test for it) - #104114 (Fix invalid background-image file name) - #104132 (fix: lint against lint functions) - #104139 (Clarify licensing situation of MPSC and SPSC queue) - #104147 (Remove an address comparison from the parser) - #104165 (Add llvm-main to triagebot.toml) Failed merges: - #104115 (Migrate crate-search element to CSS variables) r? `@ghost` `@rustbot` modify labels: rollup
2022-11-08another attempt at performance improvementsRalf Jung-23/+26
2022-11-08Rollup merge of #104132 - Rejyr:rustc_lint-function-lints, r=davidtwcoGuillaume Gomez-0/+1
fix: lint against lint functions Add `#[rustc_lint_diagnostics]` to lint functions missing them. From [this discussion](https://github.com/rust-lang/rust/pull/101138#issuecomment-1306379999). r? ```@davidtwco```
2022-11-08Rollup merge of #103928 - ↵Guillaume Gomez-1/+21
chenyukang:yukang/fix-103874-add-ty_error_with_guaranteed, r=lcnr Add 'ty_error_with_guaranteed' and 'const_error_with_guaranteed' Part of #103874
2022-11-08Auto merge of #103252 - lcnr:recompute_applicable_impls, r=jackh726bors-7/+4
selection failure: recompute applicable impls The way we currently skip errors for ambiguous trait obligations seems pretty fragile so we get some duplicate errors because of this. Removing this info from selection errors changes this system to be closer to my image of our new trait solver and is also making it far easier to change overflow errors to be non-fatal :sparkles: r? types cc `@estebank`
2022-11-08Auto merge of #103965 - petrochenkov:effvisperf3, r=oli-obkbors-21/+103
resolve: More detailed effective visibility tracking for imports Per-`DefId` tracking is not enough, due to glob imports in particular, which have a single `DefId` for the whole glob import item. We need to track this stuff per every introduced name (`NameBinding`). Also drop `extern` blocks from the effective visibility table, they are nominally private and it doesn't make sense to keep them there. Later commits add some debug-only invariant checking and optimiaztions to mitigate regressions in https://github.com/rust-lang/rust/pull/103965#issuecomment-1304256445. This is a bugfix and continuation of https://github.com/rust-lang/rust/pull/102026.
2022-11-08selection failure: recompute applicable implslcnr-7/+4
2022-11-08code cleanup with err.emit_unlessyukang-1/+1
2022-11-08deprecate unchecked_claim_error_was_emitted in error_reportedyukang-1/+5