about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer
AgeCommit message (Expand)AuthorLines
2021-08-18Auto merge of #86700 - lqd:matthews-nll-hrtb-errors, r=nikomatsakisbors-6/+33
2021-08-18Remove box syntax from rustc_inferest31-4/+4
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-13Point to where clause for GATsjackh726-4/+94
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
2021-08-06Remove a field that is computed later anywayOli Scherer-23/+0
2021-08-06Move opaque type cache into `InferCtxt`Oli Scherer-0/+89
2021-08-03Do not suggest impl traits as type argumentsYuki Okushi-16/+4
2021-08-02Auto merge of #87628 - estebank:unmet-explicit-lifetime-bound, r=oli-obkbors-27/+97
2021-08-02Rollup merge of #87673 - estebank:opaque-ty-mismatch, r=davidtwcoCameron Steffen-25/+43
2021-08-02Implement a `explicit_generic_args_with_impl_trait` feature gateGary Guo-1/+1
2021-07-31Tweak opaque type mismatch errorEsteban Küber-25/+43
2021-07-31Point at unmet explicit lifetime obligation boundEsteban Küber-27/+97
2021-07-22Rollup merge of #87281 - rust-lang:issue-81487, r=nikomatsakisGuillaume Gomez-0/+1
2021-07-22Auto merge of #87246 - rust-lang:placeholder-pretty, r=nikomatsakisbors-1/+1
2021-07-21Improve caching during trait evaluationAaron Hill-18/+22
2021-07-21Rollup merge of #87206 - matthiaskrgr:clippy_collect, r=davidtwcoGuillaume Gomez-2/+2
2021-07-20Auto merge of #87244 - jackh726:issue-71883, r=estebankbors-29/+136
2021-07-19Better errors when we don't have implicit statics in trait objectsjackh726-31/+52
2021-07-19Better diagnostics when mismatched types due to implict static lifetimejackh726-14/+100
2021-07-19Normalize generic_ty before checking if bound is metjackh726-0/+1
2021-07-18Remove impl_trait_in_bindings handling on inference error reportingSantiago Pastorino-5/+2
2021-07-18When pretty printing, name placeholders as bound regionsjackh726-1/+1
2021-07-17Some perf optimizations and loggingjackh726-0/+1
2021-07-17avoid temporary vectorsMatthias Krüger-2/+2
2021-07-04remove unused OptionNiko Matsakis-18/+11
2021-06-17Auto merge of #86164 - FabianWolff:issue-86053, r=davidtwcobors-25/+34
2021-06-14Use the now available implementation of `IntoIterator` for arraysLeSeulArtichaut-1/+1
2021-06-09Handle C-variadic arguments properly when reporting region errorsFabian Wolff-25/+34
2021-06-07Suggest a trailing comma if a 1-tuple is expectedFabian Wolff-1/+28
2021-06-06Add variance-related information to lifetime error messagesAaron Hill-14/+60
2021-06-02Restrict access to crate_name.Camille GILLOT-1/+1
2021-06-01Revert "Reduce the amount of untracked state in TyCtxt"Camille Gillot-1/+1
2021-05-30Restrict access to crate_name.Camille GILLOT-1/+1
2021-05-15Add comments to opportunistic resolve functionsJack Huey-0/+4
2021-05-15Missed a couple thingsJack Huey-10/+1
2021-05-15Revert to only using opportunistic_resolve_vars for existing placesJack Huey-9/+33
2021-05-14Store Option<Region> as value for RegionVidJack Huey-46/+55
2021-05-14Make the UnifyValue for RegionVid ()Jack Huey-4/+3
2021-05-12Don't suggest adding `'static` lifetime to argumentsAaron Hill-6/+10
2021-05-12Auto merge of #83813 - cbeuw:remap-std, r=michaelwoeristerbors-5/+11
2021-05-06remove unused variantlcnr-6/+0
2021-05-05Use local and remapped paths where appropriateAndy Wang-5/+11
2021-04-19fix few typosklensy-2/+2
2021-04-02Auto merge of #83207 - oli-obk:valtree2, r=lcnrbors-0/+5