| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -1/+1 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -6/+13 |
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -5/+3 |
| 2023-06-21 | Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnr | Nilstrieb | -10/+10 |
| 2023-06-20 | yeet upcast_trait_def_id from ImplSourceObjectData | Michael Goulet | -5/+1 |
| 2023-06-20 | yeet ImplSource::TraitAlias too | Michael Goulet | -8/+6 |
| 2023-06-20 | Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnr | bors | -0/+4 |
| 2023-06-20 | Merge attrs, better validation | Michael Goulet | -0/+4 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -10/+10 |
| 2023-06-19 | Don't ICE on bound var in reject_fn_ptr_impls | Michael Goulet | -5/+3 |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -1/+1 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -1/+1 |
| 2023-06-17 | Remove even more redundant builtin candidates | Michael Goulet | -4/+4 |
| 2023-06-17 | Simplify even more candidates | Michael Goulet | -11/+8 |
| 2023-06-17 | Simplify an ObjectData field | Michael Goulet | -2/+6 |
| 2023-06-17 | Simplify some impl source candidates | Michael Goulet | -13/+13 |
| 2023-06-17 | Remove some ImplSource candidates | Michael Goulet | -16/+14 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -3/+3 |
| 2023-06-16 | fix: inline `predicate_may_hold_fatal` | bohan | -13/+0 |
| 2023-06-14 | Rollup merge of #112605 - compiler-errors:negative-docs, r=spastorino | Matthias Krüger | -1/+3 |
| 2023-06-14 | Auto merge of #110662 - bryangarza:safe-transmute-reference-types, r=compiler... | bors | -10/+64 |
| 2023-06-14 | Improve docs/clean up negative overlap functions | Michael Goulet | -1/+3 |
| 2023-06-12 | Safe Transmute: Refactor error handling and Answer type | Bryan Garza | -21/+14 |
| 2023-06-06 | New trait solver is a property of inference context | Michael Goulet | -2/+2 |
| 2023-05-30 | rework the leak_check to take the outer_universe | lcnr | -4/+6 |
| 2023-05-30 | leak_check: remove unused codepath | lcnr | -1/+1 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -2/+3 |
| 2023-05-28 | Make EarlyBinder's inner value private; and fix all of the resulting errors | Kyle Matsuda | -10/+10 |
| 2023-05-24 | Safe Transmute: Update definition of Condition type | Bryan Garza | -12/+14 |
| 2023-05-24 | Safe Transmute: Check mutability before creating dst -> src obligation | Bryan Garza | -4/+13 |
| 2023-05-24 | Safe Transmute: Fix propagation of errors | Bryan Garza | -1/+1 |
| 2023-05-24 | Safe Transmute: Change Answer type to Result | Bryan Garza | -16/+15 |
| 2023-05-24 | Safe Transmute: Enable handling references, including recursive types | Bryan Garza | -5/+56 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -2/+2 |
| 2023-05-24 | Rollup merge of #111880 - compiler-errors:pointer-like-param-env, r=jackh726 | Matthias Krüger | -5/+7 |
| 2023-05-23 | Don't ICE when computing PointerLike trait when region vars are in param-env | Michael Goulet | -5/+7 |
| 2023-05-19 | update recursion depth in `confirm_candidate` | lcnr | -0/+6 |
| 2023-05-19 | Auto merge of #110100 - compiler-errors:no-infer-pred-must-hold, r=jackh726 | bors | -3/+11 |
| 2023-05-17 | Exclude inherent projections from some alias ty matches | León Orell Valerian Liehr | -3/+9 |
| 2023-05-12 | do not allow inference in `pred_known_to_hold_modulo_regions` | Michael Goulet | -1/+2 |
| 2023-05-12 | EvaluateToAmbig if evaluate_root_obligation does inference | Michael Goulet | -3/+10 |
| 2023-05-12 | Note base types of coercion | Michael Goulet | -32/+25 |
| 2023-05-09 | Rename `expected_trait_ref` to `self_ty_trait_ref` | Nilstrieb | -2/+2 |
| 2023-05-09 | Shrink `SelectionError` a lot | Nilstrieb | -1/+8 |
| 2023-05-04 | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | -3/+3 |
| 2023-05-04 | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr | bors | -18/+26 |
| 2023-05-04 | Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obk | Dylan DPC | -0/+5 |
| 2023-05-03 | Restrict `From<S>` for `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -2/+2 |
| 2023-05-02 | Make negative trait bounds work with the old trait solver | Michael Goulet | -0/+5 |
| 2023-04-27 | rename `needs_subst` to `has_param` | Boxy | -1/+1 |
