| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-08-03 | Rollup merge of #99746 - compiler-errors:more-trait-engine, r=jackh726 | Matthias Krüger | -2/+2 |
| 2022-07-29 | Document check_region_obligations_and_report_errors, simplify a call to resol... | Michael Goulet | -7/+1 |
| 2022-07-26 | Use TraitEngine in more places that don't specifically need FulfillmentCtxt::... | Michael Goulet | -2/+2 |
| 2022-07-25 | Restore Opaque behavior to coherence check | Michael Goulet | -1/+30 |
| 2022-07-21 | rewrite the orphan check to use a type visitor | lcnr | -169/+124 |
| 2022-07-21 | orphan check: opaque types are an error | lcnr | -29/+1 |
| 2022-07-10 | Remove duplicate notes from error on inter-crate ambiguous impl of traits (fi... | rhysd | -2/+2 |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -1/+1 |
| 2022-07-04 | implied bounds byebye nested hir ids | lcnr | -12/+3 |
| 2022-07-04 | remove an unused `DefId` | lcnr | -8/+5 |
| 2022-06-27 | outside of borrowck, do not provide an implicit_region_bound | lcnr | -5/+1 |
| 2022-06-13 | Remove RegionckMode in favor of calling new skip_region_resolution | Jack Huey | -2/+2 |
| 2022-05-25 | add a deep fast_reject routine | lcnr | -19/+14 |
| 2022-05-19 | Auto merge of #97024 - lcnr:simplify_type-sus, r=<try> | bors | -2/+2 |
| 2022-05-18 | fix `simplify_type` | lcnr | -2/+2 |
| 2022-05-18 | Rollup merge of #95979 - lcnr:coherence-docs, r=compiler-errors | Dylan DPC | -10/+17 |
| 2022-05-13 | Add bound_impl_trait_ref | Jack Huey | -2/+2 |
| 2022-05-13 | Add bound_type_of | Jack Huey | -1/+1 |
| 2022-05-10 | Introduce EarlyBinder | Jack Huey | -3/+3 |
| 2022-05-10 | update coherence docs, fix opaque type + generator ice | lcnr | -10/+17 |
| 2022-05-02 | fix most compiler/ doctests | Elliot Roberts | -1/+1 |
| 2022-03-30 | Spellchecking compiler comments | Yuri Astrakhan | -2/+2 |
| 2022-03-24 | Implement impl_subject_and_oblig instead of repeating the impls | Santiago Pastorino | -27/+5 |
| 2022-03-24 | Where bounds are checked on inherent impls | Santiago Pastorino | -2/+8 |
| 2022-03-24 | Normalize both trait and inherent | Santiago Pastorino | -16/+9 |
| 2022-03-24 | Extract impl_subject_and_oglibations fn and make equate receive subjects | Santiago Pastorino | -43/+42 |
| 2022-03-22 | impl_header -> impl_subject | Santiago Pastorino | -1/+1 |
| 2022-03-20 | Extract ImplSubject information | Santiago Pastorino | -37/+38 |
| 2022-03-18 | Minor documentation type fixes h/t @pierwill | Santiago Pastorino | -2/+2 |
| 2022-03-18 | Extract obligations_satisfiable fn | Santiago Pastorino | -42/+44 |
| 2022-03-18 | Fix inherent impls on negative coherence | Santiago Pastorino | -43/+67 |
| 2022-03-17 | Update compiler/rustc_trait_selection/src/traits/coherence.rs | Niko Matsakis | -1/+0 |
| 2022-03-17 | Use let else here | Santiago Pastorino | -26/+26 |
| 2022-03-17 | Add more commments | Santiago Pastorino | -0/+2 |
| 2022-03-17 | This test now works | Santiago Pastorino | -0/+1 |
| 2022-03-17 | Extract obligation resolution to function | Santiago Pastorino | -30/+46 |
| 2022-03-17 | Make negative coherence work when there's impl negative on super predicates | Santiago Pastorino | -8/+16 |
| 2022-03-11 | Improve `AdtDef` interning. | Nicholas Nethercote | -2/+2 |
| 2022-03-03 | Rollup merge of #94057 - lcnr:simplify_type-uwu, r=nikomatsakis | Matthias Krüger | -3/+3 |
| 2022-02-27 | Auto merge of #94144 - est31:let_else_trait_selection, r=cjgillot | bors | -10/+7 |
| 2022-02-23 | Replace `&mut DiagnosticBuilder`, in signatures, with `&mut Diagnostic`. | Eduard-Mihai Burtescu | -1/+2 |
| 2022-02-21 | update docs for `simplify_type` | lcnr | -3/+3 |
| 2022-02-21 | don't check for the leak_check twice | lcnr | -14/+6 |
| 2022-02-19 | rustc_trait_selection: adopt let else in more places | est31 | -10/+7 |
| 2022-02-15 | Overhaul `TyS` and `Ty`. | Nicholas Nethercote | -1/+1 |
| 2022-02-14 | Auto merge of #93652 - spastorino:fix-negative-overlap-check-regions, r=nikom... | bors | -25/+52 |
| 2022-02-14 | Inline loose_check fn on call site | Santiago Pastorino | -11/+1 |
| 2022-02-14 | Add comments about outlives_env | Santiago Pastorino | -0/+7 |
| 2022-02-14 | Call the method fork instead of clone and add proper comments | Santiago Pastorino | -1/+1 |
| 2022-02-14 | Properly check regions on negative overlap check | Santiago Pastorino | -8/+34 |
