| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-09-22 | Allow higher-ranked fn sigs in ValuePairs | Michael Goulet | -1/+1 |
| 2023-09-18 | Auto merge of #115748 - RalfJung:post-mono, r=oli-obk | bors | -2/+5 |
| 2023-09-15 | Canonicalize effect vars in new solver | Michael Goulet | -0/+4 |
| 2023-09-14 | move required_consts check to general post-mono-check function | Ralf Jung | -2/+5 |
| 2023-09-11 | Rollup merge of #115727 - fee1-dead-contrib:effect-fallback, r=oli-obk | Matthias Krüger | -8/+67 |
| 2023-09-11 | add `is_host_effect` to `GenericParamDefKind::Const` and address review | Deadbeef | -4/+3 |
| 2023-09-10 | Implement fallback for effect param | Deadbeef | -8/+68 |
| 2023-09-07 | Use `newtype_index` for `IntVid` and `FloatVid`. | Nicholas Nethercote | -2/+2 |
| 2023-08-03 | Rework upcasting | Michael Goulet | -0/+2 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -22/+22 |
| 2023-07-06 | Add a new trait to `Debug` things with an infcx available | Boxy | -0/+38 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -16/+19 |
| 2023-07-05 | Rollup merge of #113319 - lcnr:type-param-def-def-id, r=compiler-errors | Michael Goulet | -1/+1 |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -13/+14 |
| 2023-07-04 | `TypeParameterDefinition` always require a `DefId` | lcnr | -1/+1 |
| 2023-07-01 | Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errors | bors | -28/+13 |
| 2023-06-29 | change snapshot tracking in fulfillment contexts | lcnr | -28/+13 |
| 2023-06-24 | instantiate hidden types in root universe | Ali MJ Al-Nasrawy | -0/+1 |
| 2023-06-07 | Rollup merge of #112122 - compiler-errors:next-coherence, r=lcnr | Dylan DPC | -0/+17 |
| 2023-06-06 | Fix comment for `get_region_var_origins` | Nilstrieb | -5/+5 |
| 2023-06-06 | New trait solver is a property of inference context | Michael Goulet | -0/+17 |
| 2023-05-30 | rework the leak_check to take the outer_universe | lcnr | -33/+22 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -1/+1 |
| 2023-05-25 | Move DefiningAnchor | Michael Goulet | -12/+1 |
| 2023-05-16 | Rollup merge of #111602 - tmiasko:erroneous-constant-used, r=oli-obk | Nilstrieb | -1/+1 |
| 2023-05-15 | Combine TypeGeneralizer and Generalizer | Michael Goulet | -0/+1 |
| 2023-05-15 | Suppress "erroneous constant used" for constants tainted by errors | Tomasz Miąsko | -1/+1 |
| 2023-05-09 | add EarlyBinder to thir_abstract_const; remove tcx.bound_abstract_const | Kyle Matsuda | -1/+1 |
| 2023-05-03 | remove `inside_canonicalization_ctxt` flag | lcnr | -32/+0 |
| 2023-04-27 | rename `needs_infer` to `has_infer` | Boxy | -2/+2 |
| 2023-04-22 | Auto merge of #109753 - compiler-errors:replenish-region-constraints, r=aliemjay | bors | -2/+2 |
| 2023-04-21 | Clone region var origins instead of taking in borrowck | Michael Goulet | -2/+2 |
| 2023-04-20 | Remove WithOptconstParam. | Camille GILLOT | -3/+3 |
| 2023-04-16 | use matches! macro in more places | Matthias Krüger | -4/+4 |
| 2023-04-12 | region error cleanup | lcnr | -141/+1 |
| 2023-04-06 | Remove u32 on BoundTyKind::Anon | Jack Huey | -1/+1 |
| 2023-04-06 | Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR... | Jack Huey | -6/+10 |
| 2023-03-28 | Rollup merge of #109629 - aliemjay:remove-givens, r=lcnr | nils | -4/+0 |
| 2023-03-28 | Rollup merge of #102472 - lcnr:static-in-eval, r=jackh726 | nils | -6/+1 |
| 2023-03-26 | remove obsolete `givens` from regionck | Ali MJ Al-Nasrawy | -4/+0 |
| 2023-03-23 | Auto merge of #109503 - matthiaskrgr:rollup-cnp7kdd, r=matthiaskrgr | bors | -2/+2 |
| 2023-03-22 | assertion for only collection nll region variable information for debug in no... | b-naber | -0/+32 |
| 2023-03-22 | stop special-casing `'static` in evaluate | lcnr | -6/+1 |
| 2023-03-21 | enable `intercrate` in the solver `InferCtxt` | lcnr | -2/+2 |
| 2023-03-17 | Fast path that skips over unchanged obligations in process_obligations | The 8472 | -0/+32 |
| 2023-03-16 | Rollup merge of #109166 - lcnr:define_opaque_types-explicit, r=oli-obk | Matthias Krüger | -4/+6 |
| 2023-03-15 | always make `define_opaque_types` explicit | lcnr | -4/+6 |
| 2023-03-15 | Auto merge of #107376 - aliemjay:remove-givens, r=lcnr | bors | -4/+0 |
| 2023-03-14 | Don't make projection tys out of anon consts | Michael Goulet | -0/+1 |
| 2023-03-09 | Fix canonicalizer bug for int/float vars too | Michael Goulet | -0/+22 |
