about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2025-02-26Use Binder<Vec<T>> instead of Vec<Binder<T>> in new solverMichael Goulet-2/+4
2025-02-24Rollup merge of #136610 - Jarcho:range_idx, r=NoratriebJacob Pratt-1/+1
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-14/+10
2025-02-22Upgrade the compiler to edition 2024Michael Goulet-1/+1
2025-02-21Allow SliceIndex to be indexed by ranges.Jason Newcomb-1/+1
2025-02-21Rollup merge of #137305 - nnethercote:rustc_middle-2, r=lcnrMatthias Krüger-1/+0
2025-02-21Rollup merge of #137302 - compiler-errors:stray-drop-regions, r=matthewjasperMatthias Krüger-1/+1
2025-02-21Remove an unnecessary re-export.Nicholas Nethercote-1/+0
2025-02-20Use a probe to avoid registering stray region obligations when re-checking dr...Michael Goulet-1/+1
2025-02-19Make fewer crates depend on rustc_ast_irMichael Goulet-3/+1
2025-02-08Rustfmtbjorn3-32/+39
2025-02-06Add opt_alias_variances and use it in outlives codeMichael Goulet-13/+11
2025-02-05Pass spans around new solverMichael Goulet-11/+26
2025-02-02Move `unify_key` module.Nicholas Nethercote-5/+176
2025-01-31Auto merge of #135318 - compiler-errors:vtable-fixes, r=lcnrbors-0/+24
2025-01-30introduce `ty::Value`Lukas Markeffsky-2/+2
2025-01-30Normalize vtable entries before walking and deduplicating themMichael Goulet-0/+24
2025-01-30Auto merge of #136038 - compiler-errors:outlives, r=lcnrbors-50/+16
2025-01-28Move param env bound deep normalization to OutlivesEnvironment buildingMichael Goulet-44/+16
2025-01-28Make item self/non-self bound naming less whackMichael Goulet-1/+1
2025-01-28Move outlives env computation into methodsMichael Goulet-6/+0
2025-01-22Remove `Copy` bound from `enter_forall`Boxy-4/+4
2025-01-18Get rid of `ToPolyTraitRef`Michael Goulet-3/+3
2025-01-13rm unnecessary `OpaqueTypeDecl` wrapperlcnr-24/+16
2025-01-02Simplify declared_generic_bounds_from_envMichael Goulet-32/+23
2025-01-02Make it clearer that the only infers we expect to see when processing outlive...Michael Goulet-1/+8
2025-01-02Remove hack for filtering out param-env outlives that match item-bound outlivesMichael Goulet-18/+1
2024-12-30fix a couple nitsRémy Rakic-1/+1
2024-12-26nit: Remove redundant functionMichael Goulet-4/+0
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-0/+1
2024-12-20remove non-borrowck member constraintslcnr-353/+5
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-4/+2
2024-12-17`fn member_constraint` to `add_member_constraint`lcnr-4/+4
2024-12-02Assert that obligations are empty before deeply normalizingMichael Goulet-0/+2
2024-11-28support revealing defined opaque post borrowcklcnr-5/+19
2024-11-28uplift fold_regions to rustc_type_irlcnr-4/+4
2024-11-23Auto merge of #133242 - lcnr:questionable-uwu, r=compiler-errors,BoxyUwUbors-39/+15
2024-11-23global old solver cache: use `TypingEnv`lcnr-4/+5
2024-11-23no more Reveal :(lcnr-35/+10
2024-11-23Remove unnecessary bool from ExpectedFoundMichael Goulet-44/+18
2024-11-19Implement ~const opaquesMichael Goulet-4/+23
2024-11-18reviewlcnr-3/+3
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-1/+45
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-135/+1
2024-11-08Manually register some bounds for a better spanMichael Goulet-0/+1
2024-11-07Remove unused intercrate dependenciesclubby789-2/+0
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-1/+1
2024-11-02Remove or fix some FIXME(async_closure)Michael Goulet-1/+0
2024-10-31Encode cross-crate opaque type originMichael Goulet-1/+4
2024-10-29TypingMode :thinking:lcnr-110/+108
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 08:16:57 +0000