about summary refs log tree commit diff
path: root/tests
AgeCommit message (Collapse)AuthorLines
2023-07-07Rollup merge of #113456 - spastorino:new-rpitit-31, r=compiler-errorsMichael Goulet-0/+83
Avoid calling report_forbidden_specialization for RPITITs Fixes #113438 r? ``@compiler-errors``
2023-07-07Rollup merge of #113453 - spastorino:new-rpitit-30, r=compiler-errorsMichael Goulet-0/+51
Remove unused from_method from rustc_on_unimplemented Fixes #113439 `on_unimplemented_note` was calling `item_name` for RPITITs and that produced ICEs. I've added a regression test for that but also have removed `from_method` symbol entirely because it wasn't even used and by doing that the `item_name` call was also removed. r? ``@compiler-errors``
2023-07-07Don't ICE in resolve_bound_vars when associated return-type bounds are in ↵Michael Goulet-0/+31
bad positions
2023-07-07Avoid calling report_forbidden_specialization for RPITITsSantiago Pastorino-0/+83
2023-07-07Add regression test for RPITITsSantiago Pastorino-0/+51
2023-07-06Rollup merge of #113421 - spastorino:new-rpitit-29, r=compiler-errorsMichael Goulet-0/+38
Do not assert >1 RPITITs on collect_return_position_impl_trait_in_trait_tys Fixes #113403 Assert on collect_return_position_impl_trait_in_trait_tys is not correct when we call it from type_of(GAT). The included test is an example of a situation that collector collects 0 types. r? `@compiler-errors`
2023-07-06Rollup merge of #113419 - spastorino:new-rpitit-28, r=compiler-errorsMichael Goulet-0/+97
Avoid calling item_name for RPITIT Fixes #113405 r? `@compiler-errors`
2023-07-06Rollup merge of #113397 - compiler-errors:new-select-prefer-obj, r=lcnrMichael Goulet-0/+13
Prefer object candidates in new selection `dyn Any` shouldn't be using [this implementation](https://doc.rust-lang.org/std/any/trait.Any.html#impl-Any-for-T) during codegen. Prefer object candidates over other candidates, except for other object candidates.
2023-07-06Rollup merge of #113318 - tgross35:113283-allocator-trait-eq, r=m-ou-seMichael Goulet-0/+18
Revert "alloc: Allow comparing Boxs over different allocators", add regression test Temporary fix for #113283 Adds a test to fix the regression introduced in 001b081cc1b and revert that commit. The test fails without the revert.
2023-07-06Rollup merge of #113164 - JohnTitor:issue-109054, r=compiler-errorsMichael Goulet-0/+34
Add a regression test for #109054 Closes #109054 r? ``@compiler-errors``
2023-07-06Don't call type_of on TAIT in defining scope in new solverMichael Goulet-100/+39
2023-07-06Do not assert >1 RPITITs on collect_return_position_impl_trait_in_trait_tysSantiago Pastorino-0/+38
2023-07-06Avoid calling item_name for RPITITSantiago Pastorino-0/+97
2023-07-06Rollup merge of #113395 - compiler-errors:new-solver-dyn-star-selection, ↵Matthias Krüger-1/+3
r=oli-obk Dont ICE for `dyn* Trait: Trait` (built-in object) goals during selection in new trait solver We were ICEing too eagerly during selection for `dyn*` goals -- both for dyn unsizing candidates and for built-in object candidates. The former should only be performed on `dyn` objects, but the latter are totally fine.
2023-07-06Auto merge of #113348 - saethlin:metadata-module-not-compiled, r=Nilstriebbors-51/+11
Remove some unnecessary(?) normalization https://github.com/rust-lang/rust/issues/59774#issuecomment-1550966711
2023-07-06Prefer object candidates over impl candidates in new selectionMichael Goulet-0/+13
2023-07-06Dont ICE for `dyn* Trait: Trait` goals during selection in new trait solverMichael Goulet-1/+3
2023-07-06Rollup merge of #113350 - chenyukang:yukang-fix-113342-parser, r=compiler-errorsfee1-dead-0/+20
Fix the issue of wrong diagnosis for extern pub fn Fixes #113342
2023-07-06Rollup merge of #113334 - fmease:revert-lexing-c-str-lits, r=compiler-errorsfee1-dead-16/+120
Revert the lexing of `c"…"` string literals Fixes \[after beta-backport\] #113235. Further progress is tracked in #113333. This PR *manually* reverts parts of #108801 (since a git-revert would've been too coarse-grained & messy) and git-reverts #111647. CC `@fee1-dead` (#108801) `@klensy` (#111647) r? `@compiler-errors` `@rustbot` label F-c_str_literals beta-nominated
2023-07-06Rollup merge of #113163 - JohnTitor:issue-112895, r=compiler-errorsfee1-dead-0/+40
Add a regression test for #112895 Closes #112895 if the second option is enough to close the issue r? `@compiler-errors`
2023-07-05Remove some unnecessary normalizationBen Kimock-51/+11
2023-07-06Add a regression test for #112895Yuki Okushi-0/+40
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2023-07-06Add a regression test for #109054Yuki Okushi-0/+34
Signed-off-by: Yuki Okushi <jtitor@2k36.org>
2023-07-05Auto merge of #113370 - compiler-errors:rollup-8gvyy8e, r=compiler-errorsbors-25/+392
Rollup of 8 pull requests Successful merges: - #113010 (rust-installer & rls: remove exclusion from rustfmt & tidy ) - #113317 ( -Ztrait-solver=next: stop depending on old solver) - #113319 (`TypeParameterDefinition` always require a `DefId`) - #113320 (Add some extra information to opaque type cycle errors) - #113321 (Move `ty::ConstKind` to `rustc_type_ir`) - #113337 (Winnow specialized impls during selection in new solver) - #113355 (Move most coverage code out of `rustc_codegen_ssa`) - #113356 (Add support for NetBSD/riscv64 aka. riscv64gc-unknown-netbsd.) r? `@ghost` `@rustbot` modify labels: rollup
2023-07-05Rollup merge of #113337 - compiler-errors:next-solver-winnow-specializing, ↵Michael Goulet-0/+22
r=lcnr Winnow specialized impls during selection in new solver We need to be able to winnow impls that are specialized by more specific impls in order for codegen to be able to proceed. r? ``@lcnr``
2023-07-05Rollup merge of #113321 - BoxyUwU:move_constkind_to_typeir, r=oli-obkMichael Goulet-1/+1
Move `ty::ConstKind` to `rustc_type_ir` Needed this in another PR for custom debug impls, and this will also be required to move the new solver into a separate crate that does not use `TyCtxt` so that r-a and friends can depend on the trait solver. Rebased on top of #113325, only the second and third commits needs reviewing
2023-07-05Rollup merge of #113320 - oli-obk:eval_obligation_query, r=petrochenkov,BoxyUwUMichael Goulet-24/+369
Add some extra information to opaque type cycle errors Plus a bunch of cleanups. This should help users debug query cycles due to auto trait checking. We'll probably want to fix cycle errors in most (or all?) cases by looking at the current item's hidden types (new solver does this), and by delaying the auto trait checks to after typeck.
2023-07-05Auto merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obkbors-0/+29
Effects/keyword generics MVP This adds `feature(effects)`, which adds `const host: bool` to the generics of const functions, const traits and const impls. This will be used to replace the current logic around const traits. r? `@oli-obk`
2023-07-05Add regression testLeón Orell Valerian Liehr-0/+24
2023-07-05Revert the lexing of c_str_literalsLeón Orell Valerian Liehr-16/+96
2023-07-05Deal with falloutBoxy-1/+1
2023-07-05Fix the issue of wrong diagnosis for extern pub fnyukang-0/+20
2023-07-05Test that you can't circumvent the `Sized` bound checkOli Scherer-0/+73
2023-07-05Make `unused_associated_type_bounds`'s lint level changeableOli Scherer-0/+3
2023-07-05Add more testsOli Scherer-0/+59
2023-07-05Add some extra information to opaque type cycle errorsOli Scherer-15/+360
2023-07-05Fix some tests to *only* test their main issue and not have secondary failuresOli Scherer-9/+9
2023-07-05Lint now-unnecessary associated type boundsOli Scherer-0/+41
2023-07-05Don't require associated types with `Self: Sized` bounds in `dyn Trait` objectsOli Scherer-13/+3
2023-07-05Winnow specializing implsMichael Goulet-0/+22
2023-07-04Rollup merge of #113324 - lcnr:const-evaluatable-goal, r=BoxyUwUMatthias Krüger-3/+33
implement `ConstEvaluatable` goals in new solver this only supports stable const generics. `feature(generic_const_exprs)` needs to extend that function is non-trivial ways. Leaving this for someone else or some later date. r? `@BoxyUwU`
2023-07-04implement `ConstEvaluatable` goals in new solverlcnr-3/+33
we don't yet handle `generic_const_exprs`, someone else can do that :3
2023-07-04Auto merge of #113309 - chenyukang:yukang-fix-89640-space, r=Nilstriebbors-0/+16
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-04add testDeadbeef-0/+29
2023-07-04Detect extra space in keyword for better hintyukang-0/+16
2023-07-04Auto merge of #113303 - compiler-errors:yeet-chalk, r=lcnrbors-799/+3
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-04Add a test for `PartialEq` across `Allocator`s breaking inference (#113283)Trevor Gross-0/+18
Verify that `PartialEq` implementations do not break type inference when comparing types across different allocators. This catches a regression in current nightly introduced in 001b081cc1b (alloc: Allow comparing `Box`s over different allocators") `Box` is the only type that currently impelements this, but tests are included for `Rc` and `Arc` to prevent future regresssions.
2023-07-04Auto merge of #113304 - cuviper:indexmap-2, r=Mark-Simulacrumbors-10/+2
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-15/+52
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-9/+110
Suggest importing for partial mod path matching in name resolving Fixes #112590
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 22:34:50 +0000