about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2025-06-25rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::MiscMichael Goulet-15/+9
2025-06-25Remove some glob imports from the type systemMichael Goulet-39/+40
2025-06-25Compute hard errors without diagnostics in impl_intersection_has_impossible_o...Michael Goulet-1/+2
2025-06-24Introduce trivial WF functions, use it in fast pathMichael Goulet-0/+7
2025-06-19Cache instantiation of canonical binderMichael Goulet-20/+169
2025-06-18Implement lint against direct uses of rustc_type_ir in compiler cratesRomain Perier-0/+1
2025-06-11Auto merge of #141763 - lcnr:fixme-gamer, r=BoxyUwUbors-1/+4
2025-06-11Auto merge of #142090 - compiler-errors:perf-stable-root-var, r=lcnrbors-0/+6
2025-06-08Remove all unused feature gates from the compilerbjorn3-1/+0
2025-06-07Rollup merge of #142126 - compiler-errors:normalize-uv-via-relate, r=BoxyUwUGuillaume Gomez-0/+7
2025-06-07Unify normalization of terms in deeply normalizeMichael Goulet-0/+7
2025-06-05Make root vars more stableMichael Goulet-0/+6
2025-06-03`FIXME(-Znext-solver)` triagelcnr-1/+4
2025-06-02Fast path for stalled obligations on self tyMichael Goulet-1/+1
2025-05-29Auto merge of #141581 - lcnr:fold-clauses, r=compiler-errorsbors-0/+12
2025-05-27Fix some var namesMichael Goulet-2/+2
2025-05-27Rename unpack to kindMichael Goulet-13/+13
2025-05-26Auto merge of #141605 - jieyouxu:rollup-3gjqh5l, r=jieyouxubors-80/+58
2025-05-26add additional `TypeFlags` fast pathslcnr-0/+12
2025-05-27Rollup merge of #141392 - compiler-errors:query-outlives, r=lcnr许杰友 Jieyou Xu (Joe)-80/+58
2025-05-26Auto merge of #141500 - compiler-errors:rerun-cache-2, r=lcnrbors-0/+57
2025-05-26Auto merge of #141442 - compiler-errors:fast-path-pred, r=lcnrbors-0/+4
2025-05-26Don't rerun goals if none of its vars have changedMichael Goulet-0/+57
2025-05-26RenameMichael Goulet-19/+28
2025-05-26Avoid obligation construction dance with query region constraintsMichael Goulet-71/+40
2025-05-25Fast path fold_predicate in old canonicalizerMichael Goulet-0/+4
2025-05-25Don't use relation just to equate regions in responseMichael Goulet-5/+5
2025-05-23yeet `CanonicalVarInfo`lcnr-99/+78
2025-05-17Fast path for register_region_obligationMichael Goulet-0/+8
2025-05-12update cfg(bootstrap)Pietro Albini-1/+0
2025-05-08Rollup merge of #140641 - lcnr:opaque-type-storage-entries, r=compiler-errorsMatthias Krüger-3/+88
2025-05-07detect additional uses of opaques after writebacklcnr-3/+49
2025-05-07opaque_type_storage to InferCtxtLikelcnr-0/+39
2025-05-07Require T: TypeFoldable in Binder<T> visitMichael Goulet-4/+0
2025-05-07Rollup merge of #140607 - lcnr:opaque-type-storage, r=compiler-errorsJacob Pratt-48/+83
2025-05-06support duplicates in the opaque_types_storagelcnr-48/+83
2025-05-06Rename `graph::implementation::Graph` to `LinkedGraph`Zalathar-4/+4
2025-05-05Rollup merge of #140559 - rperier:type-ir-to-type-middle, r=compiler-errorsGuillaume Gomez-29/+17
2025-05-02Use less rustc_type_ir in the compiler codebaseRomain Perier-29/+17
2025-05-01Set groundwork for proper const normalizationBoxy-8/+17
2025-04-28Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obkGuillaume Gomez-1/+1
2025-04-26convert some `GenericArg` to `Term`lcnr-3/+13
2025-04-25Rollup merge of #140202 - est31:let_chains_feature_compiler, r=lcnrMatthias Krüger-1/+1
2025-04-24Remove `weak` alias terminologyBoxy-1/+1
2025-04-23MoreMichael Goulet-2/+4
2025-04-23Make #![feature(let_chains)] bootstrap conditional in compiler/est31-1/+1
2025-04-22Properly drain pending obligations for coroutinesMichael Goulet-3/+3
2025-04-16Auto merge of #139768 - compiler-errors:split-fold, r=lcnrbors-32/+7
2025-04-14Use `newtype_index!`-generated types more idiomaticallyYotam Ofek-6/+5
2025-04-14Derive Obligation's fold implsMichael Goulet-32/+7