about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/mod.rs
AgeCommit message (Collapse)AuthorLines
2025-09-30remove outdated context (inner) infctxJana Dönszelmann-17/+0
2025-09-18support calls on opaque types :<lcnr-0/+54
2025-09-08reviewlcnr-5/+5
2025-09-08eagerly compute `sub_relations` againlcnr-0/+9
2025-09-01use defining uses of all bodies to constrain non-defining useslcnr-0/+4
support non-defining uses in closures
2025-08-22change HIR typeck unification handling approachlcnr-1/+2
2025-08-18nll-relate: improve hr opaque types supportlcnr-7/+15
2025-08-11remove `from_forall`lcnr-11/+0
2025-08-06Track names of existentialsAmanda Stjerna-0/+1
2025-08-03Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnrbors-2/+2
Improve bound const handling A few changes to make const handling more similar to type handling. r? `@compiler-errors` -errors
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-2/+2
Currently there is `Ty` and `BoundTy`, and `Region` and `BoundRegion`, and `Const` and... `BoundVar`. An annoying inconsistency. This commit repurposes the existing `BoundConst`, which was barely used, so it's the partner to `Const`. Unlike `BoundTy`/`BoundRegion` it lacks a `kind` field but it's still nice to have because it makes the const code more similar to the ty/region code everywhere. The commit also removes `impl From<BoundVar> for BoundTy`, which has a single use and doesn't seem worth it. These changes fix the "FIXME: We really should have a separate `BoundConst` for consts".
2025-07-30handle region dependent goals due to infer varslcnr-16/+41
2025-07-25uniquify root goals during HIR typecklcnr-3/+35
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-2/+2
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-1/+14
2025-06-27Auto merge of #142223 - compiler-errors:perf-wf, r=lcnrbors-0/+7
Fast path for WF goals in new solver Hopefully self-explanatory.
2025-06-27Auto merge of #143074 - compiler-errors:rollup-cv64hdh, r=compiler-errorsbors-30/+28
Rollup of 18 pull requests Successful merges: - rust-lang/rust#137843 (make RefCell unstably const) - rust-lang/rust#140942 (const-eval: allow constants to refer to mutable/external memory, but reject such constants as patterns) - rust-lang/rust#142549 (small iter.intersperse.fold() optimization) - rust-lang/rust#142637 (Remove some glob imports from the type system) - rust-lang/rust#142647 ([perf] Compute hard errors without diagnostics in impl_intersection_has_impossible_obligation) - rust-lang/rust#142700 (Remove incorrect comments in `Weak`) - rust-lang/rust#142927 (Add note to `find_const_ty_from_env`) - rust-lang/rust#142967 (Fix RwLock::try_write documentation for WouldBlock condition) - rust-lang/rust#142986 (Port `#[export_name]` to the new attribute parsing infrastructure) - rust-lang/rust#143001 (Rename run always ) - rust-lang/rust#143010 (Update `browser-ui-test` version to `0.20.7`) - rust-lang/rust#143015 (Add `sym::macro_pin` diagnostic item for `core::pin::pin!()`) - rust-lang/rust#143033 (Expand const-stabilized API links in relnotes) - rust-lang/rust#143041 (Remove cache for citool) - rust-lang/rust#143056 (Move an ACE test out of the GCI directory) - rust-lang/rust#143059 (Fix 1.88 relnotes) - rust-lang/rust#143067 (Tracking issue number for `iter_macro`) - rust-lang/rust#143073 (Fix some fixmes that were waiting for let chains) Failed merges: - rust-lang/rust#143020 (codegen_fn_attrs: make comment more precise) r? `@ghost` `@rustbot` modify labels: rollup
2025-06-26Simplify IfCauseMichael Goulet-7/+8
2025-06-25rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::MiscMichael Goulet-2/+2
2025-06-25Remove some glob imports from the type systemMichael Goulet-29/+27
2025-06-24Introduce trivial WF functions, use it in fast pathMichael Goulet-0/+7
2025-06-07Unify normalization of terms in deeply normalizeMichael Goulet-0/+7
2025-05-27Rename unpack to kindMichael Goulet-2/+2
2025-05-26RenameMichael Goulet-3/+3
2025-05-26Avoid obligation construction dance with query region constraintsMichael Goulet-13/+0
2025-05-07detect additional uses of opaques after writebacklcnr-1/+1
2025-05-06support duplicates in the opaque_types_storagelcnr-17/+8
2025-04-26convert some `GenericArg` to `Term`lcnr-3/+13
2025-04-23MoreMichael Goulet-2/+4
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-2/+2
2025-04-04Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obkbors-2/+4
add `TypingMode::Borrowck` Shares the first commit with #138499, doesn't really matter which PR to land first :blush: :grin: Introduces `TypingMode::Borrowck` which unlike `TypingMode::Analysis`, uses the hidden type computed by HIR typeck as the initial value of opaques instead of an unconstrained infer var. This is a part of https://github.com/rust-lang/types-team/issues/129. Using this new `TypingMode` is unfortunately a breaking change for now, see tests/ui/impl-trait/non-defining-uses/as-projection-term.rs. Using an inference variable as the initial value results in non-defining uses in the defining scope. We therefore only enable it if with `-Znext-solver=globally` or `-Ztyping-mode-borrowck` To do that the PR contains the following changes: - `TypeckResults::concrete_opaque_type` are already mapped to the definition of the opaque type - writeback now checks that the non-lifetime parameters of the opaque are universal - for this, `fn check_opaque_type_parameter_valid` is moved from `rustc_borrowck` to `rustc_trait_selection` - we add a new `query type_of_opaque_hir_typeck` which, using the same visitors as MIR typeck, attempts to merge the hidden types from HIR typeck from all defining scopes - done by adding a `DefiningScopeKind` flag to toggle between using borrowck and HIR typeck - the visitors stop checking that the MIR type matches the HIR type. This is trivial as the HIR type are now used as the initial hidden types of the opaque. This check is useful as a safeguard when not using `TypingMode::Borrowck`, but adding it to the new structure is annoying and it's not soundness critical, so I intend to not add it back. - add a `TypingMode::Borrowck` which behaves just like `TypingMode::Analysis` except when normalizing opaque types - it uses `type_of_opaque_hir_typeck(opaque)` as the initial value after replacing its regions with new inference vars - it uses structural lookup in the new solver fixes #112201, fixes #132335, fixes #137751 r? `@compiler-errors` `@oli-obk`
2025-04-03Pass correct param-env to error_impliesMichael Goulet-1/+2
2025-04-03add `TypingMode::Borrowck`lcnr-2/+4
2025-03-15Fold visit into tyMichael Goulet-3/+2
2025-03-15Squash fold into tyMichael Goulet-6/+4
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-5/+2
2025-02-21Rollup merge of #137305 - nnethercote:rustc_middle-2, r=lcnrMatthias Krüger-1/+0
Tweaks in and around `rustc_middle` A bunch of tiny improvements I found while working on bigger things. r? ```@lcnr```
2025-02-21Remove an unnecessary re-export.Nicholas Nethercote-1/+0
It's a bit weird.
2025-02-20Use a probe to avoid registering stray region obligations when re-checking ↵Michael Goulet-1/+1
drops in MIR typeck
2025-02-02Move `unify_key` module.Nicholas Nethercote-1/+2
From `rustc_middle::infer` to `rustc_infer::infer`. Because everything in it is only used within `rustc_infer`, and no longer needs to be `pub`. Plus it's always good to make the huge `rustc_middle` crate smaller.
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
Co-authored-by: FedericoBruzzone <federico.bruzzone.i@gmail.com>
2025-01-13rm unnecessary `OpaqueTypeDecl` wrapperlcnr-1/+1
2024-12-30fix a couple nitsRémy Rakic-1/+1
- remove unneeded type ascription - fix variable name - fix typo in comment - fix `var_origins` var and function name: these are `VarInfos`
2024-12-20remove non-borrowck member constraintslcnr-21/+0
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-2/+1
`rustc_span::symbol` defines some things that are re-exported from `rustc_span`, such as `Symbol` and `sym`. But it doesn't re-export some closely related things such as `Ident` and `kw`. So you can do `use rustc_span::{Symbol, sym}` but you have to do `use rustc_span::symbol::{Ident, kw}`, which is inconsistent for no good reason. This commit re-exports `Ident`, `kw`, and `MacroRulesNormalizedIdent`, and changes many `rustc_span::symbol::` qualifiers in `compiler/` to `rustc_span::`. This is a 200+ net line of code reduction, mostly because many files with two `use rustc_span` items can be reduced to one.
2024-12-17`fn member_constraint` to `add_member_constraint`lcnr-2/+2
2024-11-28support revealing defined opaque post borrowcklcnr-3/+10
2024-11-28uplift fold_regions to rustc_type_irlcnr-2/+2
2024-11-23Auto merge of #133242 - lcnr:questionable-uwu, r=compiler-errors,BoxyUwUbors-23/+8
finish `Reveal` removal After #133212 changed the `TypingMode` to be the only source of truth, this entirely rips out `Reveal`. cc #132279 r? `@compiler-errors`
2024-11-23global old solver cache: use `TypingEnv`lcnr-4/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 18:53:20 +0000