about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-28/+28
2025-04-04Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obkbors-4/+37
2025-04-03Pass correct param-env to error_impliesMichael Goulet-1/+2
2025-04-03add `TypingMode::Borrowck`lcnr-4/+37
2025-04-01simplify Interner opaque types APIlcnr-4/+3
2025-03-23Obligation::as_goalMichael Goulet-8/+7
2025-03-15Fold visit into tyMichael Goulet-13/+10
2025-03-15Squash fold into tyMichael Goulet-30/+26
2025-03-11Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
2025-03-10Revert "Use workspace lints for crates in `compiler/` #138084"许杰友 Jieyou Xu (Joe)-0/+1
2025-03-08Remove `#![warn(unreachable_pub)]` from all `compiler/` crates.Nicholas Nethercote-1/+0
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-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-2/+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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 09:36:46 +0000