summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer
AgeCommit message (Expand)AuthorLines
2020-12-20Auto merge of #80163 - jackh726:binder-refactor-part-3, r=lcnrbors-17/+21
2020-12-20Auto merge of #79635 - lcnr:const-eval-idk, r=oli-obkbors-1/+13
2020-12-19More rebindsJack Huey-3/+3
2020-12-18Change potentially_qualified to be defined on Binder<PredicateAtom>Jack Huey-5/+6
2020-12-18Make BoundRegion have a kind of BoungRegionKindJack Huey-17/+21
2020-12-18Rollup merge of #80046 - camelid:diag-docs, r=lcnrDylan DPC-1/+1
2020-12-16Fix typo in method nameCamelid-1/+1
2020-12-11Move binder for dyn to each list itemJack Huey-1/+1
2020-12-08simplify if let Some(_) = x to if x.is_some() (clippy::redundant_pattern_m...Matthias Krüger-2/+2
2020-12-05remove redundant clonesMatthias Krüger-1/+1
2020-12-03The details of higher-rank sub are in the rustc book not a doc module.Benjamin Peterson-3/+3
2020-12-02add comment to `visit_ct_substs`Bastian Kauschke-3/+1
2020-12-02const_evaluatable_checked: fix occurs checkBastian Kauschke-1/+15
2020-11-26Rollup merge of #77758 - Stupremee:turbofish-help-for-const, r=varkorJonas Schievink-5/+27
2020-11-19Move `rustc_ty` -> `rustc_ty_utils`LeSeulArtichaut-1/+1
2020-11-18Suggest turbofish for uninferred const argumentJustus K-5/+27
2020-11-17Auto merge of #78779 - LeSeulArtichaut:ty-visitor-return, r=oli-obkbors-16/+12
2020-11-16compiler: fold by valueBastian Kauschke-73/+71
2020-11-14Use `TypeVisitor::BreakTy` in `UnresolvedTypeFinder`LeSeulArtichaut-11/+4
2020-11-14Introduce `TypeVisitor::BreakTy`LeSeulArtichaut-5/+8
2020-11-13Rollup merge of #78463 - varkor:placeholder-const, r=nikomatsakisGuillaume Gomez-9/+9
2020-11-12Add type to `ConstKind::Placeholder`varkor-9/+9
2020-11-10Rollup merge of #76765 - guswynn:async_return, r=tmandryJonas Schievink-33/+133
2020-11-04fix a couple of clippy warnings:Matthias Krüger-1/+0
2020-10-30Remove implicit `Continue` typeLeSeulArtichaut-5/+5
2020-10-30TypeVisitor: use `ControlFlow` in rustc_{infer,lint,trait_selection}LeSeulArtichaut-10/+16
2020-10-29Rollup merge of #78460 - varkor:turbofish-string-generic, r=lcnrYuki Okushi-2/+0
2020-10-28Remove irrelevant FIXMEvarkor-2/+0
2020-10-26Suggest calling await on method call and field accessEsteban Küber-1/+1
2020-10-26Rollup merge of #78268 - JohnTitor:issue-78262, r=estebankDylan DPC-0/+8
2020-10-25Do not try to report on closures to avoid ICEYuki Okushi-0/+8
2020-10-23Suggest semicolon removal and boxing when appropriateEsteban Küber-8/+27
2020-10-23Add more `.await` suggestions on E0308Esteban Küber-38/+119
2020-10-23Review comments: use newtype instead of `bool`Esteban Küber-2/+3
2020-10-23Account for possible boxable `impl Future` in semicolon removal suggestionsEsteban Küber-14/+32
2020-10-22Reduce diagram mess in 'match arms have incompatible types' errorDavid Tolnay-2/+14
2020-10-21Lift: take self by valueBastian Kauschke-2/+2
2020-10-19revert workaround #73027SNCPlay42-15/+2
2020-10-17Make it more clear when complaining about async fn's return typesGus Wynn-33/+133
2020-10-16map_bound_ref -> rebindJack Huey-5/+3
2020-10-16Use map_bound(_ref) instead of Binder::bind when possibleJack Huey-4/+6
2020-10-14Remove unused code from rustc_inferest31-38/+0
2020-10-13Replace absolute paths with relative onesest31-4/+4
2020-10-06Remove unused part of return value from `replace_bound_vars_with_placeholders`Matthew Jasper-14/+6
2020-10-06Rename projection_predicates to item_boundsMatthew Jasper-2/+2
2020-10-05Auto merge of #77171 - VFLashM:better_sso_structures, r=oli-obkbors-8/+8
2020-09-26MiniSet/MiniMap moved and renamed into SsoHashSet/SsoHashMapValerii Lashmanov-8/+8
2020-09-26Rollup merge of #77211 - est31:remove_unused_allow, r=oli-obkRalf Jung-1/+0
2020-09-26Rollup merge of #77093 - lcnr:const-generics-infer-warning, r=varkorRalf Jung-104/+178
2020-09-26unused intoBastian Kauschke-1/+1