| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-09-18 | Auto merge of #145993 - lcnr:allow-calling-opaques, r=BoxyUwU | bors | -0/+57 |
| 2025-09-18 | support calls on opaque types :< | lcnr | -0/+57 |
| 2025-09-17 | Remove ImplSubject | Cameron Steffen | -18/+1 |
| 2025-09-15 | Add documentation for select_where_possible and select_all_or_error | tiif | -1/+16 |
| 2025-09-09 | erase_regions to erase_and_anonymize_regions | Boxy | -3/+3 |
| 2025-09-08 | Auto merge of #140375 - lcnr:subrelations-infcx, r=BoxyUwU | bors | -86/+222 |
| 2025-09-08 | review | lcnr | -32/+42 |
| 2025-09-08 | optimize `CanonicalVarValues::instantiate` | lcnr | -37/+18 |
| 2025-09-08 | pass `sub_relations` into canonical queries | lcnr | -46/+73 |
| 2025-09-08 | inline `CanonicalTyVarKind` | lcnr | -21/+9 |
| 2025-09-08 | eagerly compute `sub_relations` again | lcnr | -1/+131 |
| 2025-09-08 | Move `rustc_middle::MaxUniverse` to `rustc_infer`. | Nicholas Nethercote | -2/+41 |
| 2025-09-05 | rustc_infer: change top-level doc comment to inner | Marijn Schouten | -1/+1 |
| 2025-09-02 | Revert introduction of `[workspace.dependencies]`. | Nicholas Nethercote | -2/+2 |
| 2025-09-01 | Auto merge of #145925 - lcnr:revealing-use-closures-2, r=BoxyUwU | bors | -0/+4 |
| 2025-09-01 | use defining uses of all bodies to constrain non-defining uses | lcnr | -0/+4 |
| 2025-08-27 | Add `tracing` to `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-27 | Add `thin-vec` to newly added `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-22 | change HIR typeck unification handling approach | lcnr | -5/+2 |
| 2025-08-18 | nll-relate: improve hr opaque types support | lcnr | -7/+15 |
| 2025-08-11 | remove `from_forall` | lcnr | -11/+0 |
| 2025-08-06 | Track names of existentials | Amanda Stjerna | -0/+1 |
| 2025-08-03 | Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnr | bors | -11/+13 |
| 2025-08-02 | Rollup merge of #144478 - joshtriplett:doc-code-formatting-prep, r=Amanieu | Samuel Tardieu | -1/+1 |
| 2025-08-01 | Auto merge of #144446 - nnethercote:opt-region-constraints, r=lcnr | bors | -180/+166 |
| 2025-07-31 | Overhaul `Constraint`. | Nicholas Nethercote | -180/+162 |
| 2025-07-31 | Avoid vacuous `Constraint::{VarSubVar,RegSubReg}` constraints. | Nicholas Nethercote | -2/+6 |
| 2025-07-31 | Make const bound handling more like types/regions. | Nicholas Nethercote | -11/+13 |
| 2025-07-31 | Rollup merge of #144713 - nnethercote:rustc_middle-ty-cleanups, r=lcnr | Stuart Cook | -11/+27 |
| 2025-07-31 | Remove `ParamEnvAnd::into_parts`. | Nicholas Nethercote | -1/+1 |
| 2025-07-31 | Move `TermVid` out of `rustc_middle`. | Nicholas Nethercote | -10/+26 |
| 2025-07-30 | handle region dependent goals due to infer vars | lcnr | -17/+49 |
| 2025-07-25 | Improve and regularize comment placement in doc code | Josh Triplett | -1/+1 |
| 2025-07-25 | uniquify root goals during HIR typeck | lcnr | -3/+41 |
| 2025-07-15 | Add alias for ArgOutlivesPredicate | Michael Goulet | -16/+9 |
| 2025-07-15 | Gate things properly | Michael Goulet | -9/+12 |
| 2025-07-15 | Consider outlives assumptions when proving auto traits for coroutine interiors | Michael Goulet | -6/+95 |
| 2025-07-13 | Simplify make_query_region_constraints | Michael Goulet | -12/+10 |
| 2025-07-13 | Make sure that users don't take region obligations in a snapshot | Michael Goulet | -1/+4 |
| 2025-07-07 | Remove unused allow attrs | Yotam Ofek | -2/+0 |
| 2025-07-04 | Fix pretty printing of placeholder types | Michael Goulet | -1/+1 |
| 2025-07-01 | Update `cfg(bootstrap)` | Josh Stone | -1/+1 |
| 2025-06-28 | Do not freshen ReError | Michael Goulet | -5/+4 |
| 2025-06-27 | Auto merge of #142223 - compiler-errors:perf-wf, r=lcnr | bors | -0/+7 |
| 2025-06-27 | Auto merge of #143074 - compiler-errors:rollup-cv64hdh, r=compiler-errors | bors | -53/+49 |
| 2025-06-26 | Rollup merge of #142647 - compiler-errors:less-work-in-coherence, r=lcnr | Michael Goulet | -1/+2 |
| 2025-06-26 | Simplify IfCause | Michael Goulet | -7/+8 |
| 2025-06-25 | rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::Misc | Michael Goulet | -15/+9 |
| 2025-06-25 | Remove some glob imports from the type system | Michael Goulet | -39/+40 |
| 2025-06-25 | Compute hard errors without diagnostics in impl_intersection_has_impossible_o... | Michael Goulet | -1/+2 |
