about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/fulfill.rs
AgeCommit message (Expand)AuthorLines
2025-07-20Consider param-env for fast pathMichael Goulet-1/+1
2025-07-17Eagerly unify coroutine witness in old solverMichael Goulet-0/+1
2025-07-17Unstall obligations by looking for coroutines in old solverMichael Goulet-7/+32
2025-07-15Implement other logicstiif-0/+3
2025-07-15Add the core logic in old and new solverstiif-1/+10
2025-06-27Auto merge of #142223 - compiler-errors:perf-wf, r=lcnrbors-2/+6
2025-06-26Rollup merge of #142927 - compiler-errors:note-find-const, r=BoxyUwUMichael Goulet-1/+1
2025-06-25Remove some glob imports from the type systemMichael Goulet-2/+4
2025-06-24Apply fast path to old solver tooMichael Goulet-2/+6
2025-06-23Add note to find_const_ty_from_envMichael Goulet-1/+1
2025-05-26RenameMichael Goulet-2/+2
2025-05-26Avoid obligation construction dance with query region constraintsMichael Goulet-2/+2
2025-04-26convert some `GenericArg` to `Term`lcnr-3/+3
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-1/+1
2025-04-09re-use sized fast pathDavid Wood-1/+5
2025-03-31increment depth of nested obligationslcnr-20/+36
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-4/+3
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
2024-12-02Assert that obligations are empty before deeply normalizingMichael Goulet-0/+4
2024-11-23Auto merge of #133242 - lcnr:questionable-uwu, r=compiler-errors,BoxyUwUbors-4/+2
2024-11-23no more Reveal :(lcnr-4/+2
2024-11-23Remove unnecessary bool from ExpectedFoundMichael Goulet-5/+8
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-22/+30
2024-11-04Remove the trivial constkind importsMichael Goulet-3/+3
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-1/+1
2024-10-29TypingMode :thinking:lcnr-7/+10
2024-10-28Hack out effects support for old solverMichael Goulet-2/+29
2024-10-24Implement const effect predicate in new solverMichael Goulet-1/+9
2024-10-24Remove associated type based effects logicMichael Goulet-1/+0
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-1/+1
2024-10-12Swap PredicateObligation to ThinVecGnomedDev-1/+2
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-21/+33
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-3/+3
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-09-02chore: Fix typos in 'compiler' (batch 3)Alexander Cyon-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-19/+16
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-09Split out overflow handling into its own moduleMichael Goulet-1/+1
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-1/+1
2024-06-05Fully implement `ConstArgHasType`Boxy-28/+40
2024-06-05Basic removal of `Ty` from places (boring)Boxy-2/+2
2024-06-04Auto merge of #125380 - compiler-errors:wc-obj-safety, r=oli-obkbors-1/+1
2024-06-03Nits and formattingMichael Goulet-12/+22
2024-06-03check_is_object_safe -> is_object_safeMichael Goulet-1/+1
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-4/+3
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+15
2024-06-03Make TraitEngines generic over errorMichael Goulet-23/+28
2024-05-30Auto merge of #125671 - BoxyUwU:remove_const_ty_eq, r=compiler-errorsbors-10/+31
2024-05-29Partially implement `ConstArgHasType`Boxy-10/+31
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 10:02:42 +0000