about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/mod.rs
AgeCommit message (Expand)AuthorLines
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
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
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-2/+2
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
2025-06-27Auto merge of #143074 - compiler-errors:rollup-cv64hdh, r=compiler-errorsbors-30/+28
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
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
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-02Move `unify_key` module.Nicholas Nethercote-1/+2
2025-01-30introduce `ty::Value`Lukas Markeffsky-1/+1
2025-01-13rm unnecessary `OpaqueTypeDecl` wrapperlcnr-1/+1
2024-12-30fix a couple nitsRémy Rakic-1/+1
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
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
2024-11-23global old solver cache: use `TypingEnv`lcnr-4/+5
2024-11-23no more Reveal :(lcnr-19/+3
2024-11-23Remove unnecessary bool from ExpectedFoundMichael Goulet-14/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-11-03 08:09:01 +0000