about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/assembly
AgeCommit message (Expand)AuthorLines
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-2/+3
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-26/+27
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-5/+3
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-3/+3
2023-07-04Rollup merge of #113192 - lcnr:add-comment, r=compiler-errorsMatthias Krüger-4/+13
2023-07-03Implement selection in new trait solverMichael Goulet-15/+36
2023-06-30assemble_candidates_after_normalizing_self_ty docslcnr-4/+13
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-21/+11
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-7/+9
2023-06-21Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnrNilstrieb-4/+4
2023-06-20Auto merge of #112835 - lcnr:proof-tree-nits, r=BoxyUwUbors-5/+3
2023-06-20split probe into 2 functions for better readabilitylcnr-5/+3
2023-06-20Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnrbors-1/+5
2023-06-20Add rustc_do_not_implement_via_objectMichael Goulet-1/+5
2023-06-19Fully fledged Clause typeMichael Goulet-4/+4
2023-06-19s/Clause/ClauseKindMichael Goulet-4/+4
2023-06-19introduce a separate set of types for finalized proof treesBoxy-31/+35
2023-06-17Auto merge of #108860 - oli-obk:tait_alias, r=compiler-errorsbors-2/+3
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-2/+3
2023-06-15Make assumption functions in new solver take clauseMichael Goulet-17/+23
2023-06-12update commentlcnr-1/+1
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-1/+1
2023-05-28Make EarlyBinder's inner value private; and fix all of the resulting errorsKyle Matsuda-5/+1
2023-05-25Strongly prefer alias and param-env boundsMichael Goulet-5/+9
2023-05-25Prepopulate opaques in canonical inputMichael Goulet-3/+5
2023-05-17Exclude inherent projections from some alias ty matchesLeón Orell Valerian Liehr-1/+3
2023-05-09Consolidate the 'match assumption' type methods in GoalKindMichael Goulet-3/+41
2023-05-09Make alias bounds sound in the new solverMichael Goulet-2/+114
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-1/+1
2023-04-26Make some region folders a little stricter.Nicholas Nethercote-4/+5
2023-04-17Spelling - compilerJosh Soref-2/+2
2023-04-14Move auto trait built-in candidate disqualification to a separate methodMichael Goulet-0/+8
2023-04-12Auto merge of #107614 - compiler-errors:allow-elaborator-to-filter-only-super...bors-1/+4
2023-04-11Rollup merge of #110126 - compiler-errors:new-solver-safe-transmute, r=oli-obkMichael Goulet-0/+7
2023-04-11Allow the elaborator to only filter to real supertraitsMichael Goulet-1/+4
2023-04-10Support safe transmute in new solverMichael Goulet-0/+7
2023-04-10Stall auto-trait assembly for int/float vars in new solverMichael Goulet-6/+4
2023-04-10review + some small stufflcnr-6/+12
2023-04-10move `structural_traits` into `assembly`lcnr-0/+1000
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 05:17:17 +0000