about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2021-09-17Make diagnostics clearer for `?` operatorsYuki Okushi-3/+16
2021-09-16Auto merge of #88719 - estebank:point-at-arg-for-obligation, r=nagisabors-6/+8
2021-09-16Refactor `FulfillmentError` to track less dataEsteban Kuber-6/+8
2021-09-15Move object safety suggestions to the end of the errorEsteban Kuber-4/+8
2021-09-12Rollup merge of #88336 - jackh726:gats-where-constraints, r=estebankManish Goregaokar-30/+97
2021-09-11Rollup merge of #88850 - matthiaskrgr:identical_conv, r=jackh726Jubilee-1/+1
2021-09-11don't convert types into identical typesMatthias Krüger-1/+1
2021-09-11don't clone types that are Copy (clippy::clone_on_copy)Matthias Krüger-3/+3
2021-09-07Fix duplicate errorjackh726-0/+1
2021-09-07Detect stricter constraints on gats where clauses in impls vs traitjackh726-30/+96
2021-09-06Use index newtyping for TyVidMark Rousskov-10/+10
2021-09-03Auto merge of #88363 - michaelwoerister:remapped-diagnostics, r=estebankbors-6/+3
2021-08-30Enforce diverging let...elseCameron Steffen-0/+5
2021-08-30`feature(const_generics)` -> `feature(const_param_types)`lcnr-1/+1
2021-08-30remove lazy_normalization_constsEllen-1/+1
2021-08-27Path remapping: Make behavior of diagnostics output dependent on presence of ...Michael Woerister-6/+3
2021-08-26reviewlcnr-1/+1
2021-08-26shrink `ty::PredicateKind` againlcnr-2/+2
2021-08-26use `ty::Unevaluated` instead of def substs pairlcnr-4/+1
2021-08-26don't just compare `ty::Const`lcnr-0/+2
2021-08-26update `TypeFlags` to deal with missing ct substslcnr-2/+2
2021-08-26add `tcx` to `fn walk`lcnr-2/+2
2021-08-26make unevaluated const substs optionallcnr-23/+23
2021-08-26require a `tcx` for `TypeVisitor`lcnr-3/+24
2021-08-25Rollup merge of #88218 - Aaron1011:missing-method-dyn, r=nagisaLéo Lanteri Thauvin-6/+0
2021-08-23Rollup merge of #88230 - steffahn:a_an, r=oli-obkMara Bos-6/+6
2021-08-22Auto merge of #88166 - BoxyUwU:const-equate-canon, r=lcnrbors-0/+16
2021-08-22Fix more “a”/“an” typosFrank Steffahn-2/+2
2021-08-22Fix typos “a”→“an”Frank Steffahn-4/+4
2021-08-21Remove `Session.trait_methods_not_found`Aaron Hill-6/+0
2021-08-20move `fallback_if_possible` and friends to fallback.rsNiko Matsakis-23/+18
2021-08-20move the `sub-unify` check and extend the documentation a bitNiko Matsakis-25/+46
2021-08-19introduce a Coerce predicateNiko Matsakis-0/+34
2021-08-19introduce a `Diverging` enum instead of a boolNiko Matsakis-15/+27
2021-08-19move code to `InferCtxt` methodEllen-0/+16
2021-08-18Auto merge of #86700 - lqd:matthews-nll-hrtb-errors, r=nikomatsakisbors-6/+33
2021-08-18Remove box syntax from rustc_inferest31-5/+4
2021-08-16Rollup merge of #88030 - fee1-dead:fixme, r=oli-obkMara Bos-1/+1
2021-08-15Introduce hir::ExprKind::Let - Take 2Caio-18/+0
2021-08-15Report nicer errors for HRTB NLL errors from queriesMatthew Jasper-1/+17
2021-08-15Track causes for universes created during borrowckMatthew Jasper-1/+1
2021-08-15Show bound lifetimes when comparing types in diagnosticsMatthew Jasper-4/+15
2021-08-14Assign FIXMEs to me and remove obsolete onesDeadbeef-1/+1
2021-08-14Auto merge of #87375 - fee1-dead:move-constness-to-traitpred, r=oli-obkbors-1/+19
2021-08-13Point to where clause for GATsjackh726-4/+95
2021-08-13Pass constness to SelectionContextDeadbeef-0/+18
2021-08-13move Constness into TraitPredicateDeadbeef-1/+1
2021-08-06Document `with_opaque_type_inference`'s use cases.Oli Scherer-0/+4
2021-08-06Use existing type alias instead of manually writing itOli Scherer-4/+2
2021-08-06Store the `DefId` of the currently typechecked item in `InferCtxt`Oli Scherer-2/+21