about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2023-07-15Rollup merge of #113625 - compiler-errors:structurally-norm-in-selection, r=lcnrMatthias Krüger-6/+33
2023-07-14Auto merge of #113471 - compiler-errors:new-solver-norm-escaping, r=lcnrbors-22/+37
2023-07-14Structurally normalize in selectionMichael Goulet-6/+33
2023-07-14Rollup merge of #113698 - compiler-errors:rpitit-check, r=spastorinoMatthias Krüger-2/+2
2023-07-14Make it clearer that we're just checking for an RPITITMichael Goulet-2/+2
2023-07-14assertion, commentMichael Goulet-0/+4
2023-07-14Allow escaping bound vars during normalize_erasing_regions in new solverMichael Goulet-22/+33
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-681/+649
2023-07-13Rollup merge of #113536 - lcnr:proof-tree-select, r=BoxyUwUMatthias Krüger-28/+22
2023-07-13Auto merge of #113637 - Mark-Simulacrum:bootstrap-bump, r=ozkanonurbors-221/+281
2023-07-13Rollup merge of #113353 - compiler-errors:select-better, r=lcnrMatthias Krüger-1/+144
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-219/+279
2023-07-12Flip cfg's for bootstrap bumpMark Rousskov-2/+2
2023-07-11Auto merge of #113470 - compiler-errors:new-solver-structurally-resolve-pat, ...bors-0/+2
2023-07-11Structurally resolve in pattern matching when peeling refs in new solverMichael Goulet-0/+2
2023-07-10Auto merge of #112988 - spastorino:new-rpitit-24, r=compiler-errorsbors-153/+2
2023-07-10avoid building proof trees in selectlcnr-28/+22
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-153/+2
2023-07-08Auto merge of #113491 - matthiaskrgr:rollup-mueqz7h, r=matthiaskrgrbors-32/+34
2023-07-08Rollup merge of #113005 - compiler-errors:dont-query-normalize, r=cjgillotMatthias Krüger-32/+34
2023-07-08Rollup merge of #113335 - compiler-errors:reveal-opaques-in-new-solver, r=lcnrMatthias Krüger-3/+1
2023-07-08Auto merge of #113474 - compiler-errors:rollup-07x1up7, r=compiler-errorsbors-19/+1
2023-07-07Rollup merge of #113453 - spastorino:new-rpitit-30, r=compiler-errorsMichael Goulet-19/+1
2023-07-08Implement selection for unsize for better coercion behaviorMichael Goulet-1/+144
2023-07-08Auto merge of #112652 - oli-obk:tait_only_in_sig, r=compiler-errorsbors-1/+1
2023-07-07Remove unused from_method symbolSantiago Pastorino-19/+1
2023-07-07Normalize opaques during codegen in new solverMichael Goulet-3/+1
2023-07-07Auto merge of #113245 - lukas-code:unsizing-sanity-check, r=the8472bors-13/+3
2023-07-07Require TAITs to be mentioned in the signatures of functions that register hi...Oli Scherer-1/+1
2023-07-07Auto merge of #113308 - compiler-errors:poly-select, r=lcnrbors-79/+91
2023-07-06Rollup merge of #113397 - compiler-errors:new-select-prefer-obj, r=lcnrMichael Goulet-0/+8
2023-07-06Don't call type_of on TAIT in defining scope in new solverMichael Goulet-1/+28
2023-07-06get rid of a bit more calls to poly_selectMichael Goulet-4/+4
2023-07-06Separate select calls that don't need a binderMichael Goulet-25/+37
2023-07-06TraitObligation -> PolyTraitObligationMichael Goulet-67/+67
2023-07-06add helper methods for accessing struct tailLukas Markeffsky-13/+3
2023-07-06Auto merge of #113406 - matthiaskrgr:rollup-0rprs5k, r=matthiaskrgrbors-4/+6
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-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-54/+64
2023-07-05Rollup merge of #113337 - compiler-errors:next-solver-winnow-specializing, r=...Michael Goulet-2/+13
2023-07-05Rollup merge of #113321 - BoxyUwU:move_constkind_to_typeir, r=oli-obkMichael Goulet-3/+3
2023-07-05Rollup merge of #113320 - oli-obk:eval_obligation_query, r=petrochenkov,BoxyUwUMichael Goulet-18/+60
2023-07-05Rollup merge of #113319 - lcnr:type-param-def-def-id, r=compiler-errorsMichael Goulet-2/+2
2023-07-05Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obkMichael Goulet-60/+74
2023-07-05Deal with falloutBoxy-3/+3
2023-07-05Make all generics_require_sized_self go through the query to get caching.Oli Scherer-3/+3
2023-07-05Add some extra information to opaque type cycle errorsOli Scherer-9/+57
2023-07-05Remove redundant `delay_span_bug`Oli Scherer-9/+3
2023-07-05Don't require associated types with `Self: Sized` bounds in `dyn Trait` objectsOli Scherer-1/+6
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-12 05:34:36 +0000