| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-09 | erase_regions to erase_and_anonymize_regions | Boxy | -1/+1 | |
| 2025-07-15 | Implement other logics | tiif | -0/+1 | |
| 2024-11-18 | use `TypingEnv` when no `infcx` is available | lcnr | -4/+4 | |
| the behavior of the type system not only depends on the current assumptions, but also the currentnphase of the compiler. This is mostly necessary as we need to decide whether and how to reveal opaque types. We track this via the `TypingMode`. | ||||
| 2024-10-29 | TypingMode :thinking: | lcnr | -2/+2 | |
| 2024-10-24 | Implement const effect predicate in new solver | Michael Goulet | -0/+1 | |
| 2024-09-25 | Compiler: Rename "object safe" to "dyn compatible" | León Orell Valerian Liehr | -1/+1 | |
| 2024-04-30 | Remove `extern crate tracing` from numerous crates. | Nicholas Nethercote | -0/+1 | |
| 2023-12-07 | add unused `NormalizesTo` predicate | lcnr | -0/+1 | |
| 2023-11-21 | Remove ClosureKind predicate kind | Michael Goulet | -1/+0 | |
| 2023-11-13 | Remove `-Zperf-stats`. | Nicholas Nethercote | -6/+0 | |
| The included measurements have varied over the years. At one point there were quite a few more, but #49558 deleted a lot that were no longer used. Today there's just four, and it's a motley collection that doesn't seem particularly valuable. I think it has been well and truly subsumed by self-profiling, which collects way more data. | ||||
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -2/+1 | |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -1/+1 | |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -7/+7 | |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -1/+1 | |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -1/+1 | |
| 2023-05-15 | Move expansion of query macros in rustc_middle to rustc_middle::query | John Kåre Alsaker | -1/+1 | |
| 2023-04-27 | rename `needs_infer` to `has_infer` | Boxy | -1/+1 | |
| 2023-03-23 | Rename AliasEq -> AliasRelate | Michael Goulet | -1/+1 | |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -2/+2 | |
| 2023-02-17 | Add `Clause::ConstArgHasType` variant | Boxy | -0/+1 | |
| 2023-02-10 | add `AliasEq` to `PredicateKind` | Boxy | -0/+1 | |
| 2023-01-05 | Fix `uninlined_format_args` for some compiler crates | nils | -1/+1 | |
| Convert all the crates that have had their diagnostic migration completed (except save_analysis because that will be deleted soon and apfloat because of the licensing problem). | ||||
| 2022-12-20 | rustc: Remove needless lifetimes | Jeremy Stucki | -1/+1 | |
| 2022-11-28 | partially_normalize_... -> At::normalize | Michael Goulet | -1/+1 | |
| 2022-11-28 | Rename At::normalize to At::query_normalize | Michael Goulet | -1/+1 | |
| 2022-11-25 | Introduce PredicateKind::Clause | Santiago Pastorino | -3/+4 | |
| 2022-11-21 | Add an always-ambiguous predicate to make sure that we don't accidentlally ↵ | Oli Scherer | -0/+1 | |
| allow trait resolution to prove false things during coherence | ||||
| 2022-11-17 | try_normalize_after_erasing_regions: promote an assertion to always run | Ralf Jung | -1/+3 | |
| 2022-10-17 | rm `try_normalize_mir_const_after_erasing_regions` | lcnr | -3/+0 | |
| 2022-10-07 | Change InferCtxtBuilder from enter to build | Cameron Steffen | -22/+21 | |
| 2022-06-14 | implement valtrees as the type-system representation for constant values | b-naber | -1/+0 | |
| 2022-05-20 | Remove `crate` visibility usage in compiler | Jacob Pratt | -1/+1 | |
| 2022-02-15 | Overhaul `PredicateInner` and `Predicate`. | Nicholas Nethercote | -2/+2 | |
| Specifically, change `Ty` from this: ``` pub struct Predicate<'tcx> { inner: &'tcx PredicateInner<'tcx> } ``` to this: ``` pub struct Predicate<'tcx>(&'tcx Interned<PredicateS<'tcx>>) ``` where `PredicateInner` is renamed as `PredicateS`. This (plus a few other minor changes) makes the parallels with `Ty` and `TyS` much clearer, and makes the uniqueness more explicit. | ||||
| 2022-02-11 | Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis" | Oli Scherer | -1/+0 | |
| This reverts commit e7cc3bddbe0d0e374d05e7003e662bba1742dbae, reversing changes made to 734368a200904ef9c21db86c595dc04263c87be0. | ||||
| 2022-02-02 | Lazily resolve type-alias-impl-trait defining uses | Oli Scherer | -0/+1 | |
| by using an opaque type obligation to bubble up comparisons between opaque types and other types Also uses proper obligation causes so that the body id works, because out of some reason nll uses body ids for logic instead of just diagnostics. | ||||
| 2021-12-31 | Auto merge of #91929 - ↵ | bors | -1/+1 | |
| anuvratsingh:remove_in_band_lifetimes_compiler_rustc_traits, r=jackh726 Removed `in_band_lifetimes` from `rustc_traits` Issue: [#91867](https://github.com/rust-lang/rust/issues/91867) | ||||
| 2021-12-30 | Removed `in_band_lifetimes` from `rustc_traits` | Anuvrat | -1/+1 | |
| 2021-12-13 | get rid of normalize_generic_arg... queries | b-naber | -18/+2 | |
| 2021-12-13 | normalize_generic_arg_after in terms of try version | b-naber | -34/+11 | |
| 2021-12-01 | implement version of normalize_erasing_regions that doesn't assume value is ↵ | b-naber | -0/+40 | |
| normalizable | ||||
| 2021-08-19 | introduce a Coerce predicate | Niko Matsakis | -0/+1 | |
| 2021-03-31 | Add a new normalization query just for mir constants | Oli Scherer | -8/+19 | |
| 2021-01-16 | Review changes | Jack Huey | -11/+11 | |
| 2020-11-18 | Don't run `resolve_vars_if_possible` in `normalize_erasing_regions` | Joshua Nelson | -3/+9 | |
| NOTE: `needs_infer()` needs to come after ignoring generic parameters | ||||
| 2020-11-16 | compiler: fold by value | Bastian Kauschke | -3/+3 | |
| 2020-09-09 | Remove def_id field from ParamEnv | Bram van den Heuvel | -1/+2 | |
| 2020-08-30 | mv compiler to compiler/ | mark | -0/+54 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |