| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-12-19 | Make fast-path for implied wf lint better | Michael Goulet | -71/+92 |
| 2022-12-19 | Add IMPLIED_BOUNDS_ENTAILMENT lint | Michael Goulet | -5/+70 |
| 2022-12-18 | remove redundant fn params that were only "used" in recursion | Matthias Krüger | -4/+3 |
| 2022-12-17 | Rollup merge of #105711 - compiler-errors:rpitit-references-errors, r=eholk | Matthias Krüger | -0/+2 |
| 2022-12-15 | Rollup merge of #104592 - ComputerDruid:async_check, r=compiler-errors | Matthias Krüger | -0/+32 |
| 2022-12-14 | Ensure async trait impls are async (or otherwise return an opaque type) | Dan Johnson | -0/+32 |
| 2022-12-14 | bail in collect_trait_impl_trait_tys if signatures reference errors | Michael Goulet | -0/+2 |
| 2022-12-14 | Prevent the creation of `TraitRef` without dedicated methods | Oli Scherer | -1/+1 |
| 2022-12-14 | Ensure no one constructs `AliasTy`s themselves | Oli Scherer | -1/+1 |
| 2022-12-14 | Guard `AliasTy` creation against passing the wrong number of substs | Oli Scherer | -4/+1 |
| 2022-12-13 | Address nits | Michael Goulet | -1/+1 |
| 2022-12-13 | Combine projection and opaque into alias | Michael Goulet | -5/+5 |
| 2022-12-13 | squash OpaqueTy and ProjectionTy into AliasTy | Michael Goulet | -2/+2 |
| 2022-12-13 | ProjectionTy.item_def_id -> ProjectionTy.def_id | Michael Goulet | -17/+13 |
| 2022-12-13 | Use ty::OpaqueTy everywhere | Michael Goulet | -1/+1 |
| 2022-12-10 | compiler: remove unnecessary imports and qualified paths | KaDiWa | -1/+0 |
| 2022-12-07 | Auto merge of #104799 - pcc:linkage-fn, r=tmiasko | bors | -1/+34 |
| 2022-12-05 | On E0195 point at where clause lifetime bounds | Esteban Küber | -11/+40 |
| 2022-12-05 | Support Option and similar enums as type of static variable with linkage attr... | Peter Collingbourne | -1/+20 |
| 2022-12-05 | Move linkage type check to HIR analysis and fix semantics issues. | Peter Collingbourne | -0/+14 |
| 2022-12-04 | Auto merge of #105261 - matthiaskrgr:rollup-9ghhc9c, r=matthiaskrgr | bors | -17/+16 |
| 2022-12-04 | Use parent function WfCheckingContext to check RPITIT. | Camille GILLOT | -17/+16 |
| 2022-12-04 | Also avoid creating a terminating scope in mixed chains | est31 | -13/+13 |
| 2022-12-04 | Improve comments | est31 | -6/+18 |
| 2022-12-03 | Remove drop order twist of && and || and make them associative | est31 | -4/+21 |
| 2022-12-02 | Check lifetime param count in collect_trait_impl_trait_tys | Michael Goulet | -21/+18 |
| 2022-11-28 | Make ObligationCtxt::normalize take cause by borrow | Michael Goulet | -11/+11 |
| 2022-11-28 | FnCtxt normalization stuff | Michael Goulet | -0/+2 |
| 2022-11-27 | Prefer doc comments over `//`-comments in compiler | Maybe Waffle | -3/+4 |
| 2022-11-25 | Introduce PredicateKind::Clause | Santiago Pastorino | -19/+31 |
| 2022-11-25 | Simplify a bunch of trait ref obligation creations | Oli Scherer | -1/+1 |
| 2022-11-23 | Use ObligationCtxt::normalize | Santiago Pastorino | -17/+4 |
| 2022-11-22 | Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnr | Manish Goregaokar | -0/+8 |
| 2022-11-22 | Auto merge of #104711 - Dylan-DPC:rollup-gkw1qr8, r=Dylan-DPC | bors | -43/+37 |
| 2022-11-22 | Rollup merge of #104701 - compiler-errors:rpitit-remove-reempty-hack, r=TaKO8Ki | Dylan DPC | -11/+1 |
| 2022-11-22 | Auto merge of #103578 - petrochenkov:nofict, r=nagisa | bors | -1/+1 |
| 2022-11-22 | Remove a hack from compare_predicate_entailment | Michael Goulet | -11/+1 |
| 2022-11-22 | Delay bug to deduplicate diagnostics | Michael Goulet | -8/+10 |
| 2022-11-22 | drive-by: style nits | Michael Goulet | -25/+19 |
| 2022-11-22 | Check generics parity between impl and trait before collecting RPITITs | Michael Goulet | -3/+11 |
| 2022-11-21 | Stop passing the self-type as a separate argument. | Oli Scherer | -1/+1 |
| 2022-11-21 | Add helper to create the trait ref for a lang item | 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 | -4/+1 |
| 2022-11-21 | Unreserve braced enum variants in value namespace | Vadim Petrochenkov | -1/+1 |
| 2022-11-21 | Add an always-ambiguous predicate to make sure that we don't accidentlally al... | Oli Scherer | -0/+4 |
| 2022-11-21 | Treat different opaque types of the same def id as equal during coherence | Oli Scherer | -0/+4 |
| 2022-11-21 | Auto merge of #103491 - cjgillot:self-rpit, r=oli-obk | bors | -63/+57 |
| 2022-11-19 | Rollup merge of #104593 - compiler-errors:rpitit-object-safety-spans, r=fee1-... | Matthias Krüger | -3/+1 |
| 2022-11-19 | Rollup merge of #104411 - lcnr:bivariance-nll, r=compiler-errors | Dylan DPC | -10/+6 |
