| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-01-20 | Rollup merge of #106973 - oli-obk:tait_ice_closure_in_impl_header, r=lcnr | Matthias Krüger | -22/+20 |
| 2023-01-19 | Don't treat closures from other crates as local | Oli Scherer | -22/+20 |
| 2023-01-17 | Stop using `BREAK` & `CONTINUE` in compiler | Scott McMurray | -4/+4 |
| 2023-01-14 | fix various subst_identity vs skip_binder | Kyle Matsuda | -4/+4 |
| 2023-01-14 | change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re... | Kyle Matsuda | -4/+4 |
| 2023-01-14 | change usages of impl_trait_ref to bound_impl_trait_ref | Kyle Matsuda | -3/+3 |
| 2023-01-11 | Change `src/test` to `tests` in source files, fix tidy and tests | Albert Larsan | -1/+1 |
| 2022-12-20 | rustc: Remove needless lifetimes | Jeremy Stucki | -4/+4 |
| 2022-12-13 | Combine projection and opaque into alias | Michael Goulet | -2/+2 |
| 2022-12-01 | Document normalization methods on At | Michael Goulet | -4/+6 |
| 2022-11-25 | Remove SelectionContext::infcx() in favor of field access | Michael Goulet | -7/+7 |
| 2022-11-22 | Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnr | Manish Goregaokar | -5/+7 |
| 2022-11-21 | Treat different opaque types of the same def id as equal during coherence | Oli Scherer | -4/+6 |
| 2022-11-21 | Allow opaque types in trait impl headers and rely on coherence to reject unso... | Oli Scherer | -3/+3 |
| 2022-11-21 | negative_impl_exists should take an InferCtxt | Santiago Pastorino | -8/+7 |
| 2022-11-21 | negative_impl should take a TyCtxt | Santiago Pastorino | -8/+3 |
| 2022-11-10 | Don't print full paths in overlap errors | Michael Goulet | -3/+3 |
| 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 |
