| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-06 | Separate select calls that don't need a binder | Michael Goulet | -7/+20 |
| 2023-07-06 | TraitObligation -> PolyTraitObligation | Michael Goulet | -22/+22 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -2/+2 |
| 2023-07-05 | Rollup merge of #113321 - BoxyUwU:move_constkind_to_typeir, r=oli-obk | Michael Goulet | -1/+1 |
| 2023-07-05 | Rollup merge of #113320 - oli-obk:eval_obligation_query, r=petrochenkov,BoxyUwU | Michael Goulet | -4/+8 |
| 2023-07-05 | Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obk | Michael Goulet | -44/+21 |
| 2023-07-05 | Deal with fallout | Boxy | -1/+1 |
| 2023-07-05 | Add some extra information to opaque type cycle errors | Oli Scherer | -4/+8 |
| 2023-07-04 | -Ztrait-solver=next: stop depending on old solver | lcnr | -44/+21 |
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -3/+0 |
| 2023-07-03 | Implement selection in new trait solver | Michael Goulet | -1/+6 |
| 2023-07-01 | Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errors | bors | -1/+1 |
| 2023-06-29 | change snapshot tracking in fulfillment contexts | lcnr | -1/+1 |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -1/+1 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -2/+7 |
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -3/+1 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -8/+8 |
| 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-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -1/+1 |
| 2023-06-16 | fix: inline `predicate_may_hold_fatal` | bohan | -13/+0 |
| 2023-06-14 | Improve docs/clean up negative overlap functions | Michael Goulet | -1/+3 |
| 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 | -1/+1 |
| 2023-05-28 | Make EarlyBinder's inner value private; and fix all of the resulting errors | Kyle Matsuda | -7/+5 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -2/+2 |
| 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 | -1/+3 |
| 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 | -8/+13 |
| 2023-05-04 | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | -1/+1 |
| 2023-05-04 | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr | bors | -1/+1 |
| 2023-05-03 | Restrict `From<S>` for `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -2/+2 |
| 2023-04-27 | rename `needs_subst` to `has_param` | Boxy | -1/+1 |
| 2023-04-27 | rename `needs_infer` to `has_infer` | Boxy | -11/+12 |
| 2023-04-26 | Make some region folders a little stricter. | Nicholas Nethercote | -4/+4 |
| 2023-04-25 | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new` | Maybe Waffle | -1/+1 |
| 2023-04-20 | Remove WithOptconstParam. | Camille GILLOT | -2/+1 |
| 2023-04-17 | Spelling - compiler | Josh Soref | -1/+1 |
| 2023-04-07 | Switched provisional evaluation cache map to FxIndexMap, and replaced map.dra... | Andrew Xie | -15/+9 |
| 2023-04-06 | Remove index from BrAnon | Jack Huey | -2/+2 |
| 2023-04-03 | Never consider int and float vars for `FnPtr` candidates | Nilstrieb | -6/+6 |
| 2023-03-29 | Inline and remove `SelectionContext::fast_reject_trait_refs`. | Nicholas Nethercote | -16/+0 |
| 2023-03-29 | Introduce `DeepRejectCtxt::substs_refs_may_unify`. | Nicholas Nethercote | -2/+4 |
| 2023-03-28 | Rollup merge of #102472 - lcnr:static-in-eval, r=jackh726 | nils | -78/+86 |
| 2023-03-23 | Use fulfillment in InferCtxt::evaluate_obligation | Michael Goulet | -0/+1 |
| 2023-03-23 | Rename AliasEq -> AliasRelate | Michael Goulet | -2/+2 |
