| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-10-16 | Auto merge of #102931 - camsteffen:inline-overlapping-impls, r=cjgillot | bors | -14/+8 |
| 2022-10-14 | more dupe word typos | Rageking8 | -1/+1 |
| 2022-10-13 | Make overlapping_impls non-generic | Cameron Steffen | -14/+8 |
| 2022-10-07 | Change InferCtxtBuilder from enter to build | Cameron Steffen | -37/+32 |
| 2022-10-07 | Remove TypeckResults from InferCtxt | Cameron Steffen | -5/+5 |
| 2022-09-19 | remove the `Subst` trait, always use `EarlyBinder` | lcnr | -1/+0 |
| 2022-08-23 | Use CRATE_HIR_ID and CRATE_DEF_ID for obligations from foreign crates | Santiago Pastorino | -11/+13 |
| 2022-08-23 | Do not use unneeded extra errors variable | Santiago Pastorino | -2/+1 |
| 2022-08-23 | Permit negative impls coherence to take advantage of implied bounds | Santiago Pastorino | -8/+26 |
| 2022-08-20 | Use separate infcx to solve obligations during negative coherence | Michael Goulet | -13/+8 |
| 2022-08-17 | `is_knowable` use `Result` instead of `Option` | lcnr | -5/+5 |
| 2022-08-15 | Rollup merge of #100514 - compiler-errors:issue-100191, r=spastorino | Matthias Krüger | -1/+7 |
| 2022-08-14 | Rollup merge of #99861 - lcnr:orphan-check-cg, r=jackh726 | Dylan DPC | -1/+15 |
| 2022-08-13 | Delay span bug when failing to normalize negative coherence impl subject due ... | Michael Goulet | -1/+7 |
| 2022-08-04 | Add `traits::fully_solve_obligation` that acts like `traits::fully_normalize` | Michael Goulet | -9/+4 |
| 2022-08-04 | Remove FulfillmentContext param from fully_normalize | Michael Goulet | -1/+0 |
| 2022-08-03 | Rollup merge of #99746 - compiler-errors:more-trait-engine, r=jackh726 | Matthias Krüger | -2/+2 |
| 2022-07-29 | update comment | lcnr | -10/+15 |
| 2022-07-29 | Document check_region_obligations_and_report_errors, simplify a call to resol... | Michael Goulet | -7/+1 |
| 2022-07-28 | orphan check: remove const generics fixme | lcnr | -1/+10 |
| 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 |
