| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2022-05-10 | only_local: always check for misuse | lcnr | -3/+3 |
| 2022-05-10 | Move an extension trait method onto the type directly and reuse it | Oli Scherer | -36/+0 |
| 2022-05-10 | update coherence docs, fix opaque type + generator ice | lcnr | -12/+18 |
| 2022-05-07 | Auto merge of #96094 - Elliot-Roberts:fix_doctests, r=compiler-errors | bors | -1/+1 |
| 2022-05-05 | Don't cache results of coinductive cycle | Aaron Hill | -59/+18 |
| 2022-05-04 | Revert #92191 Prefer projection candidates instead of param_env candidates fo... | Jack Huey | -12/+8 |
| 2022-05-02 | fix most compiler/ doctests | Elliot Roberts | -1/+1 |
| 2022-04-04 | Auto merge of #95031 - compiler-errors:param-env-cache, r=Aaron1011 | bors | -8/+8 |
| 2022-03-31 | Rollup merge of #95497 - nyurik:compiler-spell-comments, r=compiler-errors | Dylan DPC | -6/+6 |
| 2022-03-31 | Rollup merge of #94869 - jackh726:gats_extended, r=compiler-errors | Dylan DPC | -4/+5 |
| 2022-03-30 | Add the generic_associated_types_extended feature | Jack Huey | -4/+5 |
| 2022-03-30 | Spellchecking compiler comments | Yuri Astrakhan | -6/+6 |
| 2022-03-28 | Remove opaque type obligation and just register opaque types as they are enco... | Oli Scherer | -13/+0 |
| 2022-03-28 | Don't bind hidden types when searching for matching impls | Oli Scherer | -0/+1 |
| 2022-03-28 | Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk" | Oli Scherer | -9/+40 |
| 2022-03-26 | Do not use ParamEnv::and to cache param-env with candidate | Michael Goulet | -8/+8 |
