about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2021-12-10Point at capture points for non-`'static` reference crossing a `yield` pointEsteban Kuber-16/+95
2021-12-08Rollup merge of #90709 - estebank:erase-known-type-params, r=nagisaMatthias Krüger-6/+131
2021-12-07Simplify match.Camille GILLOT-25/+15
2021-12-07Store impl_trait_fn inside OpaqueTyOrigin.Camille GILLOT-10/+14
2021-12-07Rollup merge of #91493 - oli-obk:cleanup, r=michaelwoeristerMatthias Krüger-5/+8
2021-12-07Add test with multiple type params failing inferenceEsteban Kuber-3/+1
2021-12-07Refer to const params as "const params" and not "type params"Esteban Kuber-36/+46
2021-12-07Refer to uninferred `const` params by their name, instead of `{ _: _ }`Esteban Kuber-6/+25
2021-12-07Only shown relevant type params in E0283 labelEsteban Kuber-1/+99
2021-12-05Rollup merge of #90023 - b-naber:postpone_const_eval_infer_vars, r=nikomatsakisMatthias Krüger-30/+85
2021-12-03Remove a code path that is neither documented nor can I see the reason it exi...Oli Scherer-5/+8
2021-12-03Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino"Santiago Pastorino-16/+24
2021-12-02Rename TypeFolderFallible to FallibleTypeFolderAlan Egerton-4/+4
2021-12-02Reduce boilerplate around infallible foldersAlan Egerton-207/+196
2021-12-02Auto merge of #91354 - fee1-dead:const_env, r=spastorinobors-24/+16
2021-11-29Reformat everythingDeadbeef-4/+2
2021-11-29Completely remove ConstnessAndOli Scherer-2/+2
2021-11-29Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait...Oli Scherer-4/+4
2021-11-29Use the constness from the param env instead of having a separate dimension f...Oli Scherer-18/+12
2021-11-28Take a LocalDefId in expect_*item.Camille GILLOT-1/+1
2021-11-28Auto merge of #91230 - eggyal:fallible-type-fold, r=jackh726bors-216/+220
2021-11-26Use `TypeFolder::Error` for `FullTypeResolver` and `QueryNormalizer`LeSeulArtichaut-21/+7
2021-11-26Unwrap the results of type foldersLeSeulArtichaut-107/+112
2021-11-26Adapt `TypeFolder` implementors to return a `Result`LeSeulArtichaut-88/+101
2021-11-26Make `TypeFoldable` implementors short-circuit on errorLeSeulArtichaut-5/+5
2021-11-25Visit `param_env` field in Obligation's `TypeFoldable` implAaron Hill-1/+2
2021-11-22Use `derive_default_enum` in the compilerJacob Pratt-7/+3
2021-11-21Simplify for loop desugarCameron Steffen-6/+18
2021-11-21Auto merge of #91104 - matthiaskrgr:rollup-duk33o1, r=matthiaskrgrbors-6/+18
2021-11-21Auto merge of #89580 - estebank:trait-bounds-are-tricky, r=nagisabors-5/+16
2021-11-20Fix for issue 91058Michael Goulet-4/+16
2021-11-20Use same_type_modulo_infer in more placesMichael Goulet-2/+2
2021-11-20Point at source of trait bound obligations in more placesEsteban Kuber-5/+16
2021-11-20Suggest await on cases involving inferMichael Goulet-3/+31
2021-11-17Rollup merge of #90884 - Nilstrieb:fix-span-trivial-trait-bound, r=estebankMatthias Krüger-0/+17
2021-11-17Rollup merge of #90667 - rukai:improve_static_lifetime_diagnostics, r=estebankMatthias Krüger-41/+24
2021-11-16Fix await suggestion betterMichael Goulet-19/+26
2021-11-14Fix span for non-satisfied trivial trait boundsNilstrieb-0/+17
2021-11-14Improve diagnostics when a static lifetime is expectedLucas Kent-41/+24
2021-11-11Use `associated_item_def_ids` moreMatthew Jasper-7/+1
2021-11-11Remove unused field of `RegionVariableOrigin`Matthew Jasper-3/+3
2021-11-11Auto merge of #90648 - matthewjasper:assoc-item-cleanup, r=cjgillotbors-47/+25
2021-11-09Rollup merge of #89561 - nbdd0121:const_typeck, r=nikomatsakisMatthias Krüger-4/+4
2021-11-08fmtDeadbeef-8/+3
2021-11-08Make select_* methods return Vec for TraitEngineDeadbeef-6/+6
2021-11-07consider unevaluated consts in extract_inference_diagnostics_datab-naber-26/+66
2021-11-07more clippy fixesMatthias Krüger-1/+1
2021-11-07Remove some fields from `ObligationCauseCode`Matthew Jasper-47/+25
2021-11-07Rename functions reflect that inline const is also "typeck_child"Gary Guo-4/+4
2021-11-06Improve terminology around "after typeck"pierwill-1/+1