| 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 | -186/+167 |
| 2022-07-27 | safe transmute: don't mark user impls as unambiguous | Jack Wrenn | -1/+0 |
| 2022-07-27 | safe transmute: gracefully handle const params of wrong types | Jack Wrenn | -1/+1 |
| 2022-07-27 | Initial (incomplete) implementation of transmutability trait. | Jack Wrenn | -0/+78 |
| 2022-07-22 | Auto merge of #99521 - fee1-dead-contrib:const_fix_hax, r=oli-obk | bors | -46/+27 |
| 2022-07-21 | Fix `remap_constness` | Deadbeef | -3/+3 |
| 2022-07-20 | Fix hack that remaps env constness. | Deadbeef | -46/+27 |
| 2022-07-20 | no leak_check -> commit_unconditionally is noop | lcnr | -186/+167 |
| 2022-07-15 | Revert "Highlight conflicting param-env candidates" | Michael Goulet | -41/+2 |
| 2022-07-15 | remove tcx from ObligationCauseCode::span | Michael Goulet | -1/+1 |
| 2022-07-14 | Rollup merge of #99000 - JulianKnodt:allow_resolve_no_substs, r=lcnr | Dylan DPC | -1/+1 |
| 2022-07-13 | Rename `debugging_opts` to `unstable_opts` | Joshua Nelson | -1/+1 |
| 2022-07-12 | Rollup merge of #99038 - jackh726:earlybinder-cleanup, r=lcnr | Dylan DPC | -2/+2 |
| 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 | -8/+8 |
| 2022-07-08 | Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiser | bors | -0/+4 |
| 2022-07-08 | Highlight conflicting param-env candidates | Michael Goulet | -2/+41 |
| 2022-07-07 | Use map_bound | Jack Huey | -2/+2 |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -2/+2 |
| 2022-06-30 | Make `evaluate_obligation` not succeed unconditionally if it registered new h... | Oli Scherer | -0/+4 |
| 2022-06-29 | Auto merge of #98656 - Dylan-DPC:rollup-hhytn0c, r=Dylan-DPC | bors | -3/+3 |
| 2022-06-29 | Auto merge of #98542 - jackh726:coinductive-wf, r=oli-obk | bors | -15/+100 |
| 2022-06-28 | Fix trait object reborrow suggestion | Michael Goulet | -3/+3 |
| 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 | -3/+2 |
| 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 | -4/+4 |
| 2022-06-10 | bound_vars -> infer: don't return lt map | lcnr | -9/+6 |
| 2022-05-28 | Fix TyKind lint, make consts no longer fn, etc | Michael Goulet | -2/+2 |
| 2022-05-28 | Initial fixes on top of type interner commit | Michael Goulet | -1/+1 |
| 2022-05-25 | move fast reject test out of `SelectionContext::match_impl`. | lcnr | -11/+12 |
| 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 | -72/+24 |
| 2022-05-14 | Auto merge of #96883 - jackh726:early-binder-2, r=oli-obk | bors | -19/+19 |
| 2022-05-14 | Add bound_explicit_item_bounds and bound_item_bounds | Jack Huey | -26/+27 |
| 2022-05-13 | Add bound_impl_trait_ref | Jack Huey | -3/+3 |
| 2022-05-13 | Add bound_type_of | Jack Huey | -5/+5 |
| 2022-05-10 | Introduce EarlyBinder | Jack Huey | -36/+35 |
| 2022-05-10 | Remove `clone_code` method | Oli Scherer | -23/+14 |
| 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 |
