summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/higher_ranked
AgeCommit message (Expand)AuthorLines
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/+159