about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/mod.rs
AgeCommit message (Expand)AuthorLines
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-4/+4
2025-08-09rename `TraitRef::from_method` to `from_assoc`Deadbeef-1/+1
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-1/+4
2025-07-28Rename trait_of_item -> trait_of_assocCameron Steffen-1/+1
2025-07-03setup CI and tidy to use typos for spellchecking and fix few typosklensy-1/+1
2025-06-26const-eval: allow constants to refer to mutable/external memory, but reject s...Ralf Jung-2/+4
2025-05-26Don't retry in pred_known_to_hold_modulo_regions in new solver, since new sol...Michael Goulet-1/+1
2025-05-23Auto merge of #140553 - BoxyUwU:defer_type_system_ctfe, r=compiler-errorsbors-53/+86
2025-05-22Add test/comment about const patterns with unused paramsBoxy-0/+6
2025-05-22Review CommentsBoxy-69/+69
2025-05-21Don't evaluate constants depending on infers or paramsBoxy-42/+64
2025-05-21Introduce `tcx.anon_const_kind` queryBoxy-2/+7
2025-05-21Do not eagerly fold consts in normalize_param_env_or_error if new solverMichael Goulet-3/+1
2025-05-17Only select true errors in impossible_predicatesMichael Goulet-2/+8
2025-05-15Auto merge of #136988 - compiler-errors:impossible_predicates, r=lcnrbors-9/+5
2025-05-01Set groundwork for proper const normalizationBoxy-1/+1
2025-04-23Use the new solver in the impossible_predicatesMichael Goulet-9/+5
2025-04-15Auto merge of #139826 - matthiaskrgr:rollup-0q0qvkd, r=matthiaskrgrbors-19/+8
2025-04-14Use `newtype_index!`-generated types more idiomaticallyYotam Ofek-19/+8
2025-04-09re-use sized fast pathDavid Wood-2/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-29 12:36:42 +0000