summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2025-03-15Fold visit into tyMichael Goulet-2/+1
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-02-08Rustfmtbjorn3-14/+20
2025-01-31Move fulfillment error derivation into new moduleMichael Goulet-6/+1
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-3/+1
2025-01-21Move supertrait_def_ids into the elaborate module like all other fnsMichael Goulet-1/+1
2025-01-15Rework trait expansion to happen once explicitlyMichael Goulet-3/+3
2025-01-14Leak check in impossible_predicates to avoid monomorphizing impossible instancesMichael Goulet-3/+12
2024-12-18chore: fix some typosacceptacross-1/+1
2024-12-16update uses of extract_if in the compilerThe 8472-1/+1
2024-11-25fix gce typing_mode mismatchlcnr-18/+25
2024-11-23remove remaining references to `Reveal`lcnr-5/+5
2024-11-23no more Reveal :(lcnr-5/+4
2024-11-19additional `TypingEnv` cleanupslcnr-2/+2
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-2/+3
2024-11-12Handle infer vars in anon consts on stableBoxy-9/+21
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-4/+209
2024-10-31normalization folders, yeet `ParamEnv::reveal`lcnr-1/+1
2024-10-29TypingMode :thinking:lcnr-7/+11
2024-10-28Hack out effects support for old solverMichael Goulet-0/+1
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-1/+1
2024-10-21Auto merge of #131840 - compiler-errors:impossible-maybe, r=lcnrbors-12/+14
2024-10-19Rename normalize to normalize_internal, remove unnecessary usagesMichael Goulet-1/+1
2024-10-17Dont consider predicates that may hold as impossible in is_impossible_associa...Michael Goulet-12/+14
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-1/+1
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-6/+6
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-8/+8
2024-09-19skip normalizing param env if it is already normalizedLukas Markeffsky-0/+3
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-08-05Don't re-elaborated already elaborated caller bounds in method probeMichael Goulet-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-28/+32
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-18const_to_pat: cleanup leftovers from when we had to deal with non-structural ...Ralf Jung-2/+0
2024-07-11Remove fully_normalizeMichael Goulet-38/+8
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-2/+1
2024-06-21Rename a bunch of thingsMichael Goulet-1/+1
2024-06-14Only compute vtable information during codegenMichael Goulet-1/+1
2024-06-07Only compute specializes query if specialization is enabled in the crate of t...Michael Goulet-0/+1
2024-06-05Basic removal of `Ty` from places (boring)Boxy-1/+1
2024-06-03Nits and formattingMichael Goulet-37/+0
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-5/+7
2024-06-03Move FulfillmentErrorCode to rustc_trait_selection tooMichael Goulet-1/+39
2024-06-03Use ScrubbedTraitError in more placesMichael Goulet-1/+8
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-2/+24
2024-06-03Make TraitEngines generic over errorMichael Goulet-0/+43
2024-06-01Deduplicate supertrait_def_ids codeMark Rousskov-4/+1
2024-05-27Auto merge of #125468 - BoxyUwU:remove_defid_from_regionparam, r=compiler-errorsbors-0/+1
2024-05-24Remove `DefId` from `EarlyParamRegion` (tedium/diagnostics)Boxy-0/+1
2024-05-24Use regular type equating instead of a custom queryOli Scherer-1/+0
2024-05-16Remove trivial Binder::dummy callsMichael Goulet-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 17:10:06 +0000