| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-11-25 | Introduce PredicateKind::Clause | Santiago Pastorino | -14/+17 |
| 2022-11-24 | Remove normalize_projection_type | Santiago Pastorino | -8/+0 |
| 2022-11-22 | Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnr | Manish Goregaokar | -0/+1 |
| 2022-11-21 | Stop passing the self-type as a separate argument. | Oli Scherer | -1/+1 |
| 2022-11-21 | Allow iterators instead of requiring slices that will get turned into iterators | Oli Scherer | -1/+1 |
| 2022-11-21 | Assert that various types have the right amount of generic args and fix the s... | Oli Scherer | -1/+1 |
| 2022-11-21 | Add an always-ambiguous predicate to make sure that we don't accidentlally al... | Oli Scherer | -0/+1 |
| 2022-11-16 | Convert predicates into Predicate in the Obligation constructor | Oli Scherer | -13/+16 |
| 2022-10-28 | Remove #![allow(rustc::potential_query_instability)] from rustc_infer | CastilloDel | -2/+2 |
| 2022-10-07 | Remove TypeckResults from InferCtxt | Cameron Steffen | -9/+8 |
| 2022-09-25 | Auto merge of #95474 - oli-obk:tait_ub, r=jackh726 | bors | -2/+10 |
| 2022-09-22 | Rollup merge of #102037 - jyn514:normalize-docs, r=lcnr | Dylan DPC | -0/+3 |
| 2022-09-21 | Neither require nor imply lifetime bounds on opaque type for well formedness | Oli Scherer | -2/+10 |
| 2022-09-19 | Make cycle errors recoverable | Joshua Nelson | -0/+3 |
| 2022-09-16 | remap ParamEnv with obligation | Deadbeef | -0/+8 |
| 2022-07-28 | anonymize all bound vars, not just regions | lcnr | -2/+2 |
| 2022-07-23 | Remap elaborated obligation constness | Deadbeef | -1/+6 |
| 2022-07-15 | remove tcx from ObligationCauseCode::span | Michael Goulet | -4/+1 |
| 2022-07-15 | Remove some more usages of guess_head_span | Michael Goulet | -8/+9 |
| 2022-07-08 | Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiser | bors | -1/+1 |
| 2022-07-06 | replace `guess_head_span` with `def_span` | Takayuki Maeda | -3/+5 |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -2/+2 |
| 2022-07-05 | Explicit TypeVisitable implementations | Alan Egerton | -0/+3 |
| 2022-07-05 | Add #[derive(TypeVisitable)] | Alan Egerton | -1/+1 |
| 2022-06-30 | use a method instead of manually doing what its body does | Oli Scherer | -1/+1 |
| 2022-06-29 | avoid many `&str` to `String` conversions with `MultiSpan::push_span_label` | Takayuki Maeda | -2/+1 |
| 2022-06-08 | Folding revamp. | Nicholas Nethercote | -5/+2 |
| 2022-05-10 | Remove `clone_code` method | Oli Scherer | -1/+1 |
| 2022-05-10 | Move an extension trait method onto the type directly and reuse it | Oli Scherer | -1/+8 |
| 2022-04-05 | span: move `MultiSpan` | David Wood | -2/+2 |
| 2022-04-01 | convert more `DefId`s to `LocalDefId` | lcnr | -3/+3 |
| 2022-03-02 | 8 - Make more use of `let_chains` | Caio | -6/+4 |
| 2022-03-02 | rename ErrorReported -> ErrorGuaranteed | mark | -3/+3 |
| 2022-02-23 | rustc_errors: let `DiagnosticBuilder::emit` return a "guarantee of emission". | Eduard-Mihai Burtescu | -3/+3 |
| 2022-02-15 | Overhaul `Const`. | Nicholas Nethercote | -1/+1 |
| 2022-02-14 | Call the method fork instead of clone and add proper comments | Santiago Pastorino | -1/+1 |
| 2022-02-11 | Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis" | Oli Scherer | -3/+0 |
| 2022-02-02 | Lazily resolve type-alias-impl-trait defining uses | Oli Scherer | -0/+3 |
| 2022-01-28 | Remove generalization over projection | kadmin | -2/+6 |
| 2022-01-16 | Rollup merge of #92710 - jackh726:issue-92280, r=nikomatsakis | Matthias Krüger | -4/+13 |
| 2022-01-15 | Rollup merge of #92191 - jackh726:issue-89352, r=nikomatsakis | Matthias Krüger | -1/+1 |
| 2022-01-10 | Elaborate param_env predicates when checking if type outlives involving proje... | Jack Huey | -4/+13 |
| 2021-12-22 | When obligation is a sized predicate, prefer projection or object candidates ... | Jack Huey | -1/+1 |
| 2021-12-20 | Eliminate `ObligationCauseData`. | Nicholas Nethercote | -1/+1 |
| 2021-12-19 | Rollup merge of #91878 - LegionMammal978:less-inband-infer, r=Aaron1011 | Matthias Krüger | -9/+9 |
| 2021-12-18 | Re-introduce concept of projection cache 'completion' | Aaron Hill | -3/+69 |
| 2021-12-13 | Remove `in_band_lifetimes` from `rustc_infer` | LegionMammal978 | -9/+9 |
| 2021-12-12 | Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk" | Deadbeef | -24/+16 |
| 2021-12-03 | Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino" | Santiago Pastorino | -16/+24 |
| 2021-12-02 | Rename TypeFolderFallible to FallibleTypeFolder | Alan Egerton | -2/+2 |
