about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/mod.rs
AgeCommit message (Expand)AuthorLines
2024-06-18Uplift the new trait solverMichael Goulet-325/+0
2024-06-18SolverDelegateMichael Goulet-3/+5
2024-06-18Make SearchGraph fully genericMichael Goulet-21/+9
2024-06-16Move InferCtxtSelectExt out of eval_ctxt moduleMichael Goulet-1/+3
2024-06-13Finish uplifting all of structural_traitsMichael Goulet-11/+0
2024-06-05Fully implement `ConstArgHasType`Boxy-17/+24
2024-06-05Add `Ty` to `ConstKind::Value`Boxy-1/+3
2024-06-05Basic removal of `Ty` from places (boring)Boxy-2/+3
2024-06-04Auto merge of #125380 - compiler-errors:wc-obj-safety, r=oli-obkbors-1/+1
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-1/+1
2024-06-03Make TraitEngines generic over errorMichael Goulet-1/+1
2024-05-29Partially implement `ConstArgHasType`Boxy-2/+24
2024-05-28EvalCtxt::tcx() -> EvalCtxt::interner()Michael Goulet-2/+2
2024-05-19Make EvalCtxt generic over internerMichael Goulet-2/+3
2024-05-18Uplift inspect into rustc_type_irMichael Goulet-1/+1
2024-05-18Uplift GenericArgKind, CanonicalVarValues, QueryInputMichael Goulet-3/+3
2024-05-16Uplift Goal to rustc_type_irMichael Goulet-3/+3
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-05-12solve: replace all `debug` with `trace`lcnr-11/+11
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+1
2024-04-25hir typeck: look into nested goalslcnr-12/+0
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-1/+1
2024-04-08Pass list of defineable opaque types into canonical queriesOli Scherer-0/+1
2024-03-18cleanup + reviewlcnr-3/+2
2024-03-18move `normalizes_to_hack` to `AliasRelate`lcnr-6/+3
2024-02-29distinguish recursion limit based overflow for diagnosticslcnr-0/+11
2024-02-26add additional logginglcnr-0/+1
2024-02-16Move trait into attr so it's greppableMichael Goulet-2/+2
2024-02-16Use extension trait deriveMichael Goulet-4/+1
2024-02-13use alias-relate to structurally normalize in the solverlcnr-37/+19
2024-02-13also try to normalize opaque types in alias-relatelcnr-25/+2
2024-02-02Remove dead args from functionsMichael Goulet-19/+0
2024-01-29bye bye `assemble_candidates_via_self_ty`lcnr-5/+3
2024-01-10More commentsMichael Goulet-1/+4
2024-01-10Check reveal and can_define_opaque_ty in try_normalize_ty_recurMichael Goulet-12/+16
2023-12-18track the source of nested goalslcnr-9/+13
2023-12-14update use of feature flagslcnr-3/+2
2023-12-12refactor writeback: emit normalization errors with new solverlcnr-3/+2
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-1/+0
2023-12-08implement and use `NormalizesTo`lcnr-5/+6
2023-12-05Add deeply_normalize_for_diagnostics, use it in coherenceMichael Goulet-1/+3
2023-11-29new solver: improve instrument annotationslcnr-0/+1
2023-11-26Clean dead codesr0cky-7/+0
2023-11-24EvalCtxt::commit_if_ok don't inherit nested goalslcnr-5/+0
2023-11-09update overflow handling for norm, add testlcnr-1/+1
2023-11-09rework alias-relate to `norm(lhs) == norm(rhs)`lcnr-4/+22
2023-11-09only instantiate opaques with rigid typeslcnr-17/+1
2023-11-09`try_normalize_ty` end with rigid alias on failurelcnr-14/+50
2023-11-02use global cache when computing proof treeslcnr-3/+1
2023-10-10reorder files in solvelcnr-3/+0
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-29 01:03:34 +0000