| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-10-17 | Rollup merge of #102466 - lcnr:const-equate-uwu, r=BoxyUwU | Matthias Krüger | -11/+13 |
| 2022-10-10 | Fix compiler docs | Guillaume Gomez | -1/+1 |
| 2022-10-10 | Rollup merge of #102786 - compiler-errors:no-tuple-candidate, r=lcnr | Dylan DPC | -5/+3 |
| 2022-10-08 | Rollup merge of #102785 - fee1-dead-contrib:rm_autoimpl_defid, r=compiler-errors | Matthias Krüger | -8/+8 |
| 2022-10-07 | Remove tuple candidate, nothing special about it | Michael Goulet | -5/+3 |
| 2022-10-07 | Remove `DefId` from some `SelectionCandidate` variants | Deadbeef | -8/+8 |
| 2022-10-07 | Remove TypeckResults from InferCtxt | Cameron Steffen | -5/+5 |
| 2022-10-07 | Introduce TypeErrCtxt | Cameron Steffen | -2/+2 |
| 2022-10-04 | It's not about types or consts, but the lack of regions | Oli Scherer | -2/+2 |
| 2022-09-30 | Auto merge of #102304 - lcnr:coherence-cleanup, r=compiler-errors | bors | -33/+0 |
| 2022-09-29 | only allow `ConstEquate` with `feature(gce)` | lcnr | -11/+13 |
| 2022-09-28 | update fixme | lcnr | -5/+5 |
| 2022-09-26 | remove outdated coherence hack | lcnr | -33/+0 |
| 2022-09-22 | Rollup merge of #102037 - jyn514:normalize-docs, r=lcnr | Dylan DPC | -14/+2 |
| 2022-09-20 | Auto merge of #101989 - fee1-dead-contrib:const_trait_impl-assoc-caller-bound... | bors | -9/+11 |
| 2022-09-19 | slightly cleanup building SelectionContext | Joshua Nelson | -14/+2 |
| 2022-09-19 | remove the `Subst` trait, always use `EarlyBinder` | lcnr | -1/+1 |
| 2022-09-18 | make projection bounds with const bounds satisfy const | Deadbeef | -9/+11 |
| 2022-09-17 | Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnr | bors | -5/+1 |
| 2022-09-15 | Don't throw away information just to recompute it again | Oli Scherer | -6/+6 |
| 2022-09-13 | use ty::Unevaluated<'tcx, ()> in type system | b-naber | -5/+1 |
| 2022-09-12 | Rename some variants | Michael Goulet | -2/+1 |
| 2022-09-12 | Typecheck dyn* coercions | Eric Holk | -0/+2 |
| 2022-09-12 | Auto merge of #100251 - compiler-errors:tuple-trait-2, r=jackh726 | bors | -3/+6 |
| 2022-09-11 | minor fixups as per PR feedback | Andrew Cann | -29/+15 |
| 2022-09-11 | Apply formatting fixes | Andrew Cann | -8/+17 |
| 2022-09-11 | fix GeneratorWitness: Clone check | Andrew Cann | -9/+14 |
| 2022-09-11 | loosen restriction on when GeneratorWitness: Clone | Andrew Cann | -17/+13 |
| 2022-09-11 | add generator_clone feature gate | Andrew Cann | -24/+32 |
| 2022-09-11 | implement Copy/Clone for generators | Andrew Cann | -2/+34 |
| 2022-09-01 | tracing::instrument cleanup | Oli Scherer | -28/+18 |
| 2022-09-01 | Directly use the `instrument` macro instead of its full path | Oli Scherer | -2/+2 |
| 2022-08-17 | `is_knowable` use `Result` instead of `Option` | lcnr | -2/+2 |
| 2022-08-07 | Built-in implementation of Tuple trait | Michael Goulet | -3/+6 |
| 2022-08-04 | Rollup merge of #100095 - jackh726:early-binder, r=lcnr | Matthias Krüger | -6/+10 |
| 2022-08-03 | Change sized_constraints to return EarlyBinder | Jack Huey | -1/+5 |
| 2022-08-02 | Add bound_predicates_of and bound_explicit_predicates_of | Jack Huey | -5/+5 |
| 2022-08-03 | Auto merge of #99509 - lcnr:commit_unconditionally, r=jackh726 | bors | -24/+22 |
| 2022-07-27 | Initial (incomplete) implementation of transmutability trait. | Jack Wrenn | -0/+3 |
| 2022-07-21 | Fix `remap_constness` | Deadbeef | -3/+3 |
| 2022-07-20 | no leak_check -> commit_unconditionally is noop | lcnr | -24/+22 |
| 2022-07-15 | remove tcx from ObligationCauseCode::span | Michael Goulet | -1/+1 |
| 2022-07-12 | Move abstract const to rustc_middle::ty | kadmin | -1/+1 |
| 2022-07-10 | Remove duplicate notes from error on inter-crate ambiguous impl of traits (fi... | rhysd | -7/+7 |
| 2022-07-08 | Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiser | bors | -0/+4 |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -1/+1 |
| 2022-06-30 | Make `evaluate_obligation` not succeed unconditionally if it registered new h... | Oli Scherer | -0/+4 |
| 2022-06-29 | Auto merge of #98542 - jackh726:coinductive-wf, r=oli-obk | bors | -15/+100 |
| 2022-06-28 | Take into account trait predicate coinductiveness | Jack Huey | -6/+36 |
| 2022-06-28 | Make empty bounds lower to WellFormed and make WellFormed coinductive | Jack Huey | -15/+70 |
