summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/eval_ctxt
AgeCommit message (Expand)AuthorLines
2023-08-18instantiate response: no unnecessary new universelcnr-1/+1
2023-08-14Remove constness from `ImplSource::Param`Deadbeef-1/+1
2023-08-04Rollup merge of #114287 - lcnr:overflow, r=compiler-errorsMichael Goulet-27/+9
2023-08-03Remove trivial region constraintsMichael Goulet-1/+6
2023-08-03resolve before canonicalization, ICE if unresolvedMichael Goulet-8/+79
2023-08-03separate calculation and interning of external query constraintsMichael Goulet-27/+28
2023-08-03handle overflow in the `EvalCtxt` separatelylcnr-2/+1
2023-08-03fix `make_ambiguous_response_no_constraints`lcnr-24/+7
2023-08-03avoid more `ty::Binder:dummy`lcnr-1/+1
2023-08-01Don't select infer -> dyn TraitMichael Goulet-0/+3
2023-07-31Rollup merge of #114200 - compiler-errors:detect-tail-unsize-then-upcast, r=lcnrMatthias Krüger-5/+20
2023-07-29Detect trait upcasting through struct tail unsizingMichael Goulet-5/+20
2023-07-28fix commentlcnr-1/+1
2023-07-25Make everything builtin!Michael Goulet-144/+27
2023-07-25Consolidate trait upcasting and unsize into one normalizationMichael Goulet-2/+11
2023-07-25Restore tuple unsizing feature gateMichael Goulet-0/+3
2023-07-25Make sure to detect trait upcasting coercion even after normalizationMichael Goulet-1/+7
2023-07-25Normalize the RHS of an unsize goalMichael Goulet-3/+7
2023-07-23Comment stuff in the new solverMichael Goulet-10/+17
2023-07-14Structurally normalize in selectionMichael Goulet-6/+33
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 19:24:52 +0000