| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2022-06-15 | Rename `impl_constness` to `constness` | Deadbeef | -2/+1 |
| 2022-06-14 | rebase | b-naber | -5/+1 |
| 2022-06-14 | implement valtrees as the type-system representation for constant values | b-naber | -8/+14 |
| 2022-06-14 | Rename the `ConstS::val` field as `kind`. | Nicholas Nethercote | -2/+2 |
| 2022-06-10 | bound_vars -> infer: don't return lt map | lcnr | -1/+1 |
| 2022-05-25 | move fast reject test out of `SelectionContext::match_impl`. | lcnr | -10/+3 |
| 2022-05-25 | add a deep fast_reject routine | lcnr | -36/+5 |
| 2022-05-20 | Remove `crate` visibility usage in compiler | Jacob Pratt | -1/+1 |
| 2022-05-19 | Auto merge of #97024 - lcnr:simplify_type-sus, r=<try> | bors | -6/+3 |
| 2022-05-18 | fix `simplify_type` | lcnr | -6/+3 |
| 2022-05-18 | Rollup merge of #95979 - lcnr:coherence-docs, r=compiler-errors | Dylan DPC | -12/+18 |
| 2022-05-17 | Auto merge of #96892 - oli-obk:🐌_obligation_cause_code_🐌, r=estebank | bors | -48/+10 |
| 2022-05-14 | Auto merge of #96883 - jackh726:early-binder-2, r=oli-obk | bors | -11/+9 |
| 2022-05-14 | Add bound_explicit_item_bounds and bound_item_bounds | Jack Huey | -1/+1 |
| 2022-05-13 | Add bound_impl_trait_ref | Jack Huey | -3/+3 |
| 2022-05-13 | Add bound_type_of | Jack Huey | -1/+1 |
| 2022-05-10 | Introduce EarlyBinder | Jack Huey | -10/+8 |
| 2022-05-10 | Remove another use of clone_code | Oli Scherer | -12/+10 |
