about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
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
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-02Rollup merge of #86176 - nbdd0121:explicit-generic-args, r=jackh726Cameron Steffen-1/+1
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-29rfc3052: Remove authors field from Cargo manifestsJade-1/+0
2021-07-24Auto merge of #86461 - crlf0710:rich_vtable, r=nikomatsakisbors-3/+3
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-20Refactor vtable format.Charles Lew-3/+3
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-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-1/+6
2021-07-04remove unused OptionNiko Matsakis-18/+11
2021-06-25rustc_infer: Remove unused dependency rustc_astJosh Triplett-1/+0
2021-06-25rustc_infer: Remove unused dependency rustc_graphvizJosh Triplett-1/+0
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-04Rollup merge of #85850 - bjorn3:less_feature_gates, r=jyn514Yuki Okushi-2/+0
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-31Remove unused feature gatesbjorn3-2/+0
2021-05-30Restrict access to crate_name.Camille GILLOT-1/+1
2021-05-26Specialize implementationsJacob Pratt-0/+2
2021-05-24remove cfg(bootstrap)Pietro Albini-1/+0
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