about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/eval_ctxt
AgeCommit message (Expand)AuthorLines
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-29/+31
2023-07-13Rollup merge of #113536 - lcnr:proof-tree-select, r=BoxyUwUMatthias Krüger-1/+1
2023-07-13Auto merge of #113637 - Mark-Simulacrum:bootstrap-bump, r=ozkanonurbors-4/+1
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-4/+1
2023-07-10avoid building proof trees in selectlcnr-1/+1
2023-07-08Implement selection for unsize for better coercion behaviorMichael Goulet-1/+144
2023-07-07Auto merge of #113308 - compiler-errors:poly-select, r=lcnrbors-3/+3
2023-07-06Rollup merge of #113397 - compiler-errors:new-select-prefer-obj, r=lcnrMichael Goulet-0/+8
2023-07-06Separate select calls that don't need a binderMichael Goulet-1/+1
2023-07-06TraitObligation -> PolyTraitObligationMichael Goulet-3/+3
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-05Winnow specializing implsMichael Goulet-2/+13
2023-07-04add `ecx.probe_candidate`lcnr-1/+21
2023-07-03Helpers for creating EvalCtxts, some commentsMichael Goulet-97/+80
2023-07-03Implement selection in new trait solverMichael Goulet-4/+307
2023-06-20split probe into 2 functions for better readabilitylcnr-0/+47
2023-06-11Auto merge of #112466 - lcnr:opaque-type-cleanup, r=compiler-errorsbors-7/+2
2023-06-09split opaque type handling in new solverlcnr-7/+2
2023-06-08deduplicate identical region constraintsMichael Goulet-1/+5
2023-05-30update universe used by the leak checklcnr-1/+3
2023-05-30add the leak check to the new solverlcnr-0/+5
2023-05-25Add InferCtxt::register_hidden_type_in_new_solverMichael Goulet-21/+10
2023-05-25Prepopulate opaques in canonical inputMichael Goulet-9/+52
2023-04-26Split out make_ambiguous_response_no_constraintsMichael Goulet-19/+42
2023-04-26Clear response values for overflow in new solverMichael Goulet-3/+32
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-20Result is just bool but specialMichael Goulet-2/+3
2023-04-20Track if EvalCtxt has been tainted, make sure it can't be used to make query ...Michael Goulet-0/+6
2023-04-17Spelling - compilerJosh Soref-3/+3
2023-04-16Various minor Idx-related tweaksScott McMurray-6/+7
2023-04-10Fix typos in compilerDaniPopes-2/+2
2023-04-10review + some small stufflcnr-1/+1
2023-04-06Remove expect_anon and expect_anon_placeholder in favor of varJack Huey-1/+1
2023-03-29Move canonicalization code aroundMichael Goulet-0/+230
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-14 23:36:50 +0000