about summary refs log tree commit diff
AgeCommit message (Collapse)AuthorLines
2023-07-05Revert the lexing of c_str_literalsLeón Orell Valerian Liehr-23/+96
2023-07-04Auto merge of #113309 - chenyukang:yukang-fix-89640-space, r=Nilstriebbors-0/+32
Detect extra space in keyword for better hint Fixes #89640 r? `@Nilstrieb` I met the same issue, then found out this old issue :)
2023-07-04Detect extra space in keyword for better hintyukang-0/+32
2023-07-04Auto merge of #113303 - compiler-errors:yeet-chalk, r=lcnrbors-3864/+35
Remove chalk support from the compiler Removes chalk (`-Ztrait-solver=chalk`) from the compiler and prunes any dead code resulting from this, mainly: * Remove the chalk compatibility layer in `compiler/rustc_traits/src/chalk` * Remove the chalk flag `-Ztrait-solver=chalk` and its `TraitEngine` implementation * Remove `TypeWellFormedFromEnv` (and its many `bug!()` match arms) * Remove the chalk migration mode from compiletest * Remove the `chalkify` UI tests (do we want to keep any of these, but migrate them to `-Ztrait-solver=next`??) Fulfills rust-lang/types-team#93. r? `@jackh726`
2023-07-04Auto merge of #113304 - cuviper:indexmap-2, r=Mark-Simulacrumbors-20/+12
Upgrade to indexmap 2.0.0 The new version was already added to the tree as an indirect dependency in #113046, but now our direct dependents are using it too.
2023-07-04Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorinobors-41/+76
Make RPITITs assume/require their parent method's predicates Removes a FIXME from the `param_env` query where we were manually adding the parent function's predicates to the RPITIT's assumptions. r? `@spastorino`
2023-07-04Auto merge of #112917 - chenyukang:yukang-fix-112590, r=estebankbors-14/+174
Suggest importing for partial mod path matching in name resolving Fixes #112590
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-73/+18
2023-07-03Remove compare modeMichael Goulet-12/+1
2023-07-03Remove chalk from the compilerMichael Goulet-3779/+16
2023-07-03Bless ui-fulldeps/missing-rustc-driver-errorJosh Stone-10/+2
The specific crates have changed, but the expected "help" remains.
2023-07-03Upgrade to indexmap 2.0.0Josh Stone-10/+10
The new version was already added to the tree as an indirect dependency in #113046, but now our direct dependents are using it too.
2023-07-03Auto merge of #108611 - ↵bors-19/+324
davidtwco:issue-94223-external-abi-fn-ptr-in-internal-abi-fn, r=jackh726 lint/ctypes: ext. abi fn-ptr in internal abi fn Fixes #94223. - In the improper ctypes lint, instead of skipping functions with internal ABIs, check that the signature doesn't contain any fn-ptr types with external ABIs that aren't FFI-safe. - When computing the ABI for fn-ptr types, remove an `unwrap` that assumed FFI-safe types in foreign fn-ptr types. - I'm not certain that this is the correct approach.
2023-07-03Auto merge of #113293 - GuillaumeGomez:rollup-2395uw0, r=GuillaumeGomezbors-127/+551
Rollup of 3 pull requests Successful merges: - #112869 (Implement selection via new trait solver) - #113285 ([rustdoc] Fix display of long inline cfg labels) - #113286 (Don't perform selection if inherent associated types are not enabled) r? `@ghost` `@rustbot` modify labels: rollup
2023-07-03Rollup merge of #113286 - fmease:iat-dont-select-if-not-enabled, ↵Guillaume Gomez-46/+99
r=compiler-errors Don't perform selection if inherent associated types are not enabled Fixes #113265. As discussed r? `@compiler-errors`
2023-07-03Rollup merge of #113285 - GuillaumeGomez:display-long-inline-cfg, r=notriddleGuillaume Gomez-4/+23
[rustdoc] Fix display of long inline cfg labels Fixes #87957. Fixes #112880. Before: ![Screenshot from 2023-07-03 13-25-47](https://github.com/rust-lang/rust/assets/3050060/401e2c6b-2cfd-4ae3-9d15-b5e1dfec4201) After: ![Screenshot from 2023-07-03 13-24-49](https://github.com/rust-lang/rust/assets/3050060/e42a34a8-bf60-409d-8a0c-1669d09e7e1e) r? `@notriddle`
2023-07-03Rollup merge of #112869 - compiler-errors:sketchy-new-select, r=lcnrGuillaume Gomez-77/+429
Implement selection via new trait solver Implements selection via the new solver by calling into `assemble_and_evaluate_candidates`, doing a very light-weight "winnow" to choose one candidate over the others, and then re-confirming that candidate outside of the `EvalCtxt` in order to compute the information necessary for the `ImplSource`. This selection routine is best effort -- if it receives an ambiguous response from the `EvalCtxt`, then it may return ambiguity if the work to re-confirm the goal is not "easy" -- right now, that means everything except for object and impl goals. Since we don't want to reimplement all of the work of the `compute_builtin_*` methods in the solver internals, we bail out if we encounter ambiguity more often than the old solver. This should only barely affect [method selection](https://github.com/rust-lang/rust/blob/f798ada7babac06d4611b0b3a6079d8399ab58ab/compiler/rustc_hir_typeck/src/method/probe.rs#L1447) and not codegen. It can be made more precise later if needed. r? `@lcnr`
2023-07-03Helpers for creating EvalCtxts, some commentsMichael Goulet-157/+174
2023-07-03Implement selection in new trait solverMichael Goulet-21/+356
2023-07-03Auto merge of #113288 - Nilstrieb:revert-dev, r=oli-obkbors-13/+4
Revert "Suggest `x build library` for a custom toolchain that fails to load `core`" This reverts commit b913f5593d2e2698d18034b56dd538ee745f1adc. CI builds with profile=nightly, causing different test output. Making the output depend on the release channel was not a great idea and we have to be more careful with this. I did not realize that the change could have such effects on test output but it's kinda obvious with hindsight >.<.
2023-07-03lint: refactor to make logic a bit cleanerDavid Wood-29/+27
Signed-off-by: David Wood <david@davidtw.co>
2023-07-03lint: stop normalizing types to avoid recur limitsDavid Wood-5/+1
This was causing compilation failures in the performance benchmarking as diesel hit recursion limits. Signed-off-by: David Wood <david@davidtw.co>
2023-07-03Revert "Suggest `x build library` for a custom toolchain that fails to load ↵Nilstrieb-13/+4
`core`" This reverts commit b913f5593d2e2698d18034b56dd538ee745f1adc. CI builds with profile=nightly, causing different test output. Making the output depend on the release channel was not a great idea.
2023-07-03lint/ctypes: check other types for ext. fn-ptr tyDavid Wood-2/+190
Extend previous checks for external ABI fn-ptrs to use in internal statics, constants, type aliases and algebraic data types. Signed-off-by: David Wood <david.wood@huawei.com>
2023-07-03lint/ctypes: multiple external fn-ptrs in tyDavid Wood-19/+68
Extend previous commit's support for checking for external fn-ptrs in internal fn types to report errors for multiple found fn-ptrs. Signed-off-by: David Wood <david.wood@huawei.com>
2023-07-03abi: avoid ice for non-ffi-safe fn ptrsDavid Wood-4/+14
Remove an `unwrap` that assumed FFI-safe types in foreign fn-ptr types. Signed-off-by: David Wood <david.wood@huawei.com>
2023-07-03lint/ctypes: ext. abi fn-ptr in internal abi fnDavid Wood-17/+81
Instead of skipping functions with internal ABIs, check that the signature doesn't contain any fn-ptr types with external ABIs that aren't FFI-safe. Signed-off-by: David Wood <david.wood@huawei.com>
2023-07-03Don't perform selection if IATs are not enabledLeón Orell Valerian Liehr-46/+99
2023-07-03Auto merge of #113275 - Nilstrieb:perm, r=fee1-deadbors-0/+9
link to PERMITTED_DEPENDENCIES in tidy error
2023-07-03Add GUI test for long inline cfg labels displayGuillaume Gomez-1/+20
2023-07-03Fix display of long inline cfg labelsGuillaume Gomez-3/+3
2023-07-03Auto merge of #113086 - lcnr:rust8, r=compiler-errorsbors-296/+834
implement deep normalization via the new solver together with #112869 this should remove all uses of the old solver with `-Ztrait-solver=next`. see https://hackmd.io/V0qsUB_fTxexfQO_pcOcrg for a description of this PR. Will move that doc to the `rustc-dev-guide` after merging this. r? `@compiler-errors`
2023-07-03rebaselcnr-2/+2
2023-07-03link to PERMITTED_DEPENDENCIES in tidy errorNilstrieb-0/+9
2023-07-03update testslcnr-191/+366
2023-07-03reviewlcnr-16/+27
2023-07-03`deeply_normalize` pass in fulfill cx for old solverlcnr-12/+15
2023-07-03use `deeply_normalize` for `assumed_wf_types`lcnr-52/+112
2023-07-03add a `try_structurally_resolve_type` in coercelcnr-14/+23
2023-07-03add deep normalization via the new solverlcnr-6/+281
2023-07-03add instrument to `register_predicate_obligation`lcnr-0/+1
2023-07-03fix structurally relate for weak aliaseslcnr-11/+15
2023-07-03rename `structurally_resolved_type`lcnr-22/+22
2023-07-03Auto merge of #113271 - matthiaskrgr:rollup-2ik4vaj, r=matthiaskrgrbors-20/+29
Rollup of 3 pull requests Successful merges: - #113253 (Fixed documentation of from<CString> for Rc<CStr>: Arc -> Rc) - #113258 (Migrate GUI colors test to original CSS color format) - #113259 (Suggest `x build library` for a custom toolchain that fails to load `core`) r? `@ghost` `@rustbot` modify labels: rollup
2023-07-03Auto merge of #112882 - DrMeepster:new_un_derefer, r=oli-obkbors-136/+137
Rewrite `UnDerefer` Currently, `UnDerefer` is used by drop elaboration to undo the effects of the `Derefer` pass. However, it just recreates the original places with derefs in the middle of the projection. Because `ProjectionElem::Deref` is intended to be removed completely in the future, this will not work forever. This PR introduces a `deref_chain` method that returns the places behind `DerefTemp` locals in a place and rewrites the move path code to use this. In the process, `UnDerefer` was merged into `MovePathLookup`. Now that move paths use the same places as in the MIR, the other uses of `UnDerefer` no longer require it. See #98145 cc `@ouz-a` r? `@oli-obk`
2023-07-03Auto merge of #113176 - workingjubilee:backtrace-0.3.68, r=thomccbors-49/+22
Backtrace 0.3.68 Uptakes these releases: - https://github.com/rust-lang/backtrace-rs/releases/tag/0.3.68 r? `@thomcc`
2023-07-02Update std to backtrace 0.3.68Jubilee Young-49/+22
Dedup addr2line, miniz_oxide, object in .lock
2023-07-02Rollup merge of #113259 - MU001999:diag/add-std, r=NilstriebMatthias Krüger-4/+13
Suggest `x build library` for a custom toolchain that fails to load `core` Fixes #113222 r? `@jyn514`
2023-07-02Rollup merge of #113258 - GuillaumeGomez:migrate-gui-test-color-19, r=notriddleMatthias Krüger-15/+15
Migrate GUI colors test to original CSS color format Follow-up of https://github.com/rust-lang/rust/pull/111459. r? `@notriddle`
2023-07-02Rollup merge of #113253 - nurmukhametdaniyar:rc_from_cstr_doc_fix, r=NilstriebMatthias Krüger-1/+1
Fixed documentation of from<CString> for Rc<CStr>: Arc -> Rc Fix #113131