about summary refs log tree commit diff
path: root/tests
AgeCommit message (Expand)AuthorLines
2023-07-07Treat closures as part of their parentOli Scherer-16/+9
2023-07-07Fix one layer of closures not being able to constrain opaque typesOli Scherer-15/+1
2023-07-07Add regression testOli Scherer-0/+38
2023-07-07Remove normalization from `opaque_types_defined_by`Oli Scherer-17/+62
2023-07-07Require TAITs to be mentioned in the signatures of functions that register hi...Oli Scherer-147/+574
2023-07-06Rollup merge of #113421 - spastorino:new-rpitit-29, r=compiler-errorsMichael Goulet-0/+38
2023-07-06Rollup merge of #113419 - spastorino:new-rpitit-28, r=compiler-errorsMichael Goulet-0/+97
2023-07-06Rollup merge of #113397 - compiler-errors:new-select-prefer-obj, r=lcnrMichael Goulet-0/+13
2023-07-06Rollup merge of #113318 - tgross35:113283-allocator-trait-eq, r=m-ou-seMichael Goulet-0/+18
2023-07-06Rollup merge of #113164 - JohnTitor:issue-109054, r=compiler-errorsMichael Goulet-0/+34
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, r=ol...Matthias Krüger-1/+3
2023-07-06Auto merge of #113348 - saethlin:metadata-module-not-compiled, r=Nilstriebbors-51/+11
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
2023-07-06Rollup merge of #113334 - fmease:revert-lexing-c-str-lits, r=compiler-errorsfee1-dead-16/+120
2023-07-06Rollup merge of #113163 - JohnTitor:issue-112895, r=compiler-errorsfee1-dead-0/+40
2023-07-05Remove some unnecessary normalizationBen Kimock-51/+11
2023-07-06Add a regression test for #112895Yuki Okushi-0/+40
2023-07-06Add a regression test for #109054Yuki Okushi-0/+34
2023-07-05Auto merge of #113370 - compiler-errors:rollup-8gvyy8e, r=compiler-errorsbors-25/+392
2023-07-05Rollup merge of #113337 - compiler-errors:next-solver-winnow-specializing, r=...Michael Goulet-0/+22
2023-07-05Rollup merge of #113321 - BoxyUwU:move_constkind_to_typeir, r=oli-obkMichael Goulet-1/+1
2023-07-05Rollup merge of #113320 - oli-obk:eval_obligation_query, r=petrochenkov,BoxyUwUMichael Goulet-24/+369
2023-07-05Auto merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obkbors-0/+29
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
2023-07-04implement `ConstEvaluatable` goals in new solverlcnr-3/+33
2023-07-04Auto merge of #113309 - chenyukang:yukang-fix-89640-space, r=Nilstriebbors-0/+16
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
2023-07-04Add a test for `PartialEq` across `Allocator`s breaking inference (#113283)Trevor Gross-0/+18
2023-07-04Auto merge of #113304 - cuviper:indexmap-2, r=Mark-Simulacrumbors-10/+2
2023-07-04Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorinobors-15/+52
2023-07-04Auto merge of #112917 - chenyukang:yukang-fix-112590, r=estebankbors-9/+110