about summary refs log tree commit diff
path: root/compiler/rustc_traits/src/normalize_erasing_regions.rs
AgeCommit message (Expand)AuthorLines
2025-09-09erase_regions to erase_and_anonymize_regionsBoxy-1/+1
2025-07-15Implement other logicstiif-0/+1
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-4/+4
2024-10-29TypingMode :thinking:lcnr-2/+2
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+1
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-1/+1
2024-04-30Remove `extern crate tracing` from numerous crates.Nicholas Nethercote-0/+1
2023-12-07add unused `NormalizesTo` predicatelcnr-0/+1
2023-11-21Remove ClosureKind predicate kindMichael Goulet-1/+0
2023-11-13Remove `-Zperf-stats`.Nicholas Nethercote-6/+0
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-2/+1
2023-06-26TypeWellFormedInEnvMichael Goulet-1/+1
2023-06-19s/Clause/ClauseKindMichael Goulet-7/+7
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-1/+1
2023-06-17Move WF goal to clauseMichael Goulet-1/+1
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-04-27rename `needs_infer` to `has_infer`Boxy-1/+1
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+2
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+1
2023-02-10add `AliasEq` to `PredicateKind`Boxy-0/+1
2023-01-05Fix `uninlined_format_args` for some compiler cratesnils-1/+1
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-1/+1
2022-11-28partially_normalize_... -> At::normalizeMichael Goulet-1/+1
2022-11-28Rename At::normalize to At::query_normalizeMichael Goulet-1/+1
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-3/+4
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+1
2022-11-17try_normalize_after_erasing_regions: promote an assertion to always runRalf Jung-1/+3
2022-10-17rm `try_normalize_mir_const_after_erasing_regions`lcnr-3/+0
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-22/+21
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-1/+0
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+1
2022-02-15Overhaul `PredicateInner` and `Predicate`.Nicholas Nethercote-2/+2
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-1/+0
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-0/+1
2021-12-31Auto merge of #91929 - anuvratsingh:remove_in_band_lifetimes_compiler_rustc_t...bors-1/+1
2021-12-30Removed `in_band_lifetimes` from `rustc_traits`Anuvrat-1/+1
2021-12-13get rid of normalize_generic_arg... queriesb-naber-18/+2
2021-12-13normalize_generic_arg_after in terms of try versionb-naber-34/+11
2021-12-01implement version of normalize_erasing_regions that doesn't assume value is n...b-naber-0/+40
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+1
2021-03-31Add a new normalization query just for mir constantsOli Scherer-8/+19
2021-01-16Review changesJack Huey-11/+11
2020-11-18Don't run `resolve_vars_if_possible` in `normalize_erasing_regions`Joshua Nelson-3/+9
2020-11-16compiler: fold by valueBastian Kauschke-3/+3
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-1/+2
2020-08-30mv compiler to compiler/mark-0/+54
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 12:28:17 +0000