about summary refs log tree commit diff
path: root/compiler
AgeCommit message (Expand)AuthorLines
2023-07-08Auto merge of #112652 - oli-obk:tait_only_in_sig, r=compiler-errorsbors-41/+144
2023-07-07Auto merge of #113245 - lukas-code:unsizing-sanity-check, r=the8472bors-56/+107
2023-07-07Treat closures as part of their parentOli Scherer-10/+10
2023-07-07Fix one layer of closures not being able to constrain opaque typesOli Scherer-1/+4
2023-07-07Only match on the `DefKind` once.Oli Scherer-29/+19
2023-07-07Collect nested items immediately instead of collecting them into an intermedi...Oli Scherer-15/+10
2023-07-07Move some logic into a method on `OpaqueTypeCollector`Oli Scherer-29/+33
2023-07-07Remove one layer of nested matching on the same thingOli Scherer-55/+39
2023-07-07liar liar find_taits_declared_in_body on fireOli Scherer-10/+10
2023-07-07We don't need to track binders if we aren't normalizingOli Scherer-20/+1
2023-07-07Remove normalization from `opaque_types_defined_by`Oli Scherer-41/+2
2023-07-07Require TAITs to be mentioned in the signatures of functions that register hi...Oli Scherer-36/+221
2023-07-07Auto merge of #113308 - compiler-errors:poly-select, r=lcnrbors-112/+125
2023-07-07Auto merge of #113270 - the8472:opt-macro-tts, r=nnethercotebors-5/+13
2023-07-06Rollup merge of #113421 - spastorino:new-rpitit-29, r=compiler-errorsMichael Goulet-5/+7
2023-07-06Rollup merge of #113419 - spastorino:new-rpitit-28, r=compiler-errorsMichael Goulet-3/+5
2023-07-06Rollup merge of #113397 - compiler-errors:new-select-prefer-obj, r=lcnrMichael Goulet-0/+8
2023-07-06Rollup merge of #112825 - compiler-errors:tait-defining-cycle, r=lcnrMichael Goulet-1/+28
2023-07-06Rollup merge of #111917 - WaffleLapkin:validate_unalloc, r=oli-obkMichael Goulet-14/+9
2023-07-06Don't call type_of on TAIT in defining scope in new solverMichael Goulet-1/+28
2023-07-06Do not assert >1 RPITITs on collect_return_position_impl_trait_in_trait_tysSantiago Pastorino-5/+7
2023-07-06Avoid calling item_name for RPITITSantiago Pastorino-3/+5
2023-07-06get rid of a bit more calls to poly_selectMichael Goulet-12/+12
2023-07-06Coercion doesn't need binders eitherMichael Goulet-7/+6
2023-07-06Separate select calls that don't need a binderMichael Goulet-44/+58
2023-07-06TraitObligation -> PolyTraitObligationMichael Goulet-70/+70
2023-07-06add helper methods for accessing struct tailLukas Markeffsky-34/+31
2023-07-06sanity check field offsets in unsizeable structsLukas Markeffsky-0/+49
2023-07-06clean up struct layout codeLukas Markeffsky-36/+41
2023-07-06Auto merge of #113406 - matthiaskrgr:rollup-0rprs5k, r=matthiaskrgrbors-5/+13
2023-07-06Rollup merge of #113402 - nnethercote:diagnose-unsorted-CGUs, r=lqdMatthias Krüger-1/+7
2023-07-06Rollup merge of #113395 - compiler-errors:new-solver-dyn-star-selection, r=ol...Matthias Krüger-4/+6
2023-07-06Diagnose unsorted CGUs.Nicholas Nethercote-1/+7
2023-07-06Auto merge of #113377 - BoxyUwU:move_ty_ctors_to_ty, r=compiler-errorsbors-1156/+1353
2023-07-06Fix up doc linksOli Scherer-2/+2
2023-07-06Prefer object candidates over impl candidates in new selectionMichael Goulet-0/+8
2023-07-06Dont ICE for `dyn* Trait: Trait` goals during selection in new trait solverMichael Goulet-4/+6
2023-07-06Auto merge of #113391 - fee1-dead-contrib:rollup-9bqlw9z, r=fee1-deadbors-315/+330
2023-07-06Rollup merge of #113350 - chenyukang:yukang-fix-113342-parser, r=compiler-errorsfee1-dead-1/+5
2023-07-06Rollup merge of #113334 - fmease:revert-lexing-c-str-lits, r=compiler-errorsfee1-dead-59/+64
2023-07-06Rollup merge of #113332 - petrochenkov:bindintern, r=cjgillotfee1-dead-255/+224
2023-07-06Rollup merge of #112791 - WaffleLapkin:wag_the_llvm, r=cuviperfee1-dead-0/+37
2023-07-06Auto merge of #113291 - oli-obk:pretty_print_mir_const, r=RalfJungbors-83/+68
2023-07-05Change comment on `TyCtxt::mk_ty_from_kind`Michael Goulet-1/+1
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1154/+1351
2023-07-05Auto merge of #113370 - compiler-errors:rollup-8gvyy8e, r=compiler-errorsbors-542/+748
2023-07-05Document magic booleanOli Scherer-1/+3
2023-07-05Name the destructure_mir_constant query appropriatelyOli Scherer-6/+6
2023-07-05Use options instead of errors if the errors are never neededOli Scherer-13/+11
2023-07-05Remove a function argument that is always passed with the same value.Oli Scherer-46/+21