about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/higher_ranked/mod.rs
AgeCommit message (Expand)AuthorLines
2023-12-15Add higher_ranked to relate submoduleMichael Goulet-136/+0
2023-12-15Move type relations into submodule in rustc_inferMichael Goulet-1/+1
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-5/+5
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-1/+2
2023-05-30rework the leak_check to take the outer_universelcnr-4/+11
2023-05-30leak_check: remove unused codepathlcnr-6/+1
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-2/+4
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-7/+7
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+2
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-2/+2
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-2/+2
2023-02-07Replacing bound vars is actually instantiating a binderMichael Goulet-3/+3
2023-01-30Track bound types like bound regionsMichael Goulet-1/+1
2022-11-28Simplify calls to `tcx.mk_const`Maybe Waffle-7/+2
2022-11-04Refactor tcx mk_const parameters.Mateusz-3/+3
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-2/+2
2022-09-15change `FnMutDelegate` to trait objectslcnr-3/+3
2022-09-01tracing::instrument cleanupOli Scherer-4/+3
2022-08-03Rollup merge of #100102 - b-naber:typo-higher-ranked-sub, r=Dylan-DPCMatthias Krüger-1/+1
2022-08-03fix typob-naber-1/+1
2022-08-01make `PlaceholderConst` not store the type of the constEllen-1/+1
2022-07-28`BoundVarReplacer`: trait object instead of 3 fnslcnr-22/+23
2022-07-13Rename `debugging_opts` to `unstable_opts`Joshua Nelson-1/+1
2022-07-08don't use `commit_if_ok` during `higher_ranked_sub`lcnr-21/+17
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-06-10eagerly check whether we replace any bound varslcnr-23/+10
2022-06-10update higher_ranked_sub docslcnr-24/+31
2022-06-10bound_vars -> infer: don't return lt maplcnr-2/+1
2022-06-10replace bound vars: make caching explicitlcnr-10/+9
2022-03-11update commentlcnr-7/+4
2022-02-21obligation forest docslcnr-1/+3
2022-02-15Overhaul `Const`.Nicholas Nethercote-1/+1
2021-09-28More tracing instrumentationOli Scherer-2/+1
2021-03-31Add tcx lifetime to BinderJack Huey-4/+4
2021-03-31Some rebinds and dummysJack Huey-1/+4
2020-12-18Make BoundRegion have a kind of BoungRegionKindJack Huey-2/+2
2020-12-03The details of higher-rank sub are in the rustc book not a doc module.Benjamin Peterson-3/+3
2020-11-16compiler: fold by valueBastian Kauschke-5/+4
2020-11-12Add type to `ConstKind::Placeholder`varkor-1/+1
2020-10-06Remove unused part of return value from `replace_bound_vars_with_placeholders`Matthew Jasper-7/+4
2020-08-30mv compiler to compiler/mark-0/+151
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 19:14:54 +0000