about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2019-09-25Fix rebasevarkor-1/+1
2019-09-25Rename `sty` to `kind`varkor-39/+39
2019-09-25Auto merge of #64627 - nnethercote:ObligForest-even-more, r=nikomatsakisbors-5/+12
2019-09-24Remove blanket silencing of "type annotation needed" errorsEsteban Küber-1/+12
2019-09-23Auto merge of #64272 - Mark-Simulacrum:parallel-handler, r=estebankbors-1/+1
2019-09-23Rollup merge of #64679 - skinny121:const-infer, r=varkorMazdak Farrokhzad-86/+13
2019-09-22Infer consts consistently. Moved some logic into super_combined_consts,ben-86/+13
2019-09-20Upgrade to ena-0.13.1 and use the new `inlined_probe_value` function.Nicholas Nethercote-3/+10
2019-09-20Specialize the `stalled_on` handling in `process_obligation()`.Nicholas Nethercote-2/+2
2019-09-19Auto merge of #64545 - nnethercote:ObligForest-more, r=nmatsakisbors-6/+38
2019-09-19Add a specialized version of `shallow_resolve()`.Nicholas Nethercote-6/+38
2019-09-17Rollup merge of #64394 - nnethercote:shrink-SubregionOrigin, r=Mark-SimulacrumTyler Mandry-14/+18
2019-09-17Remove Handler::cancelMark Rousskov-1/+1
2019-09-16Tweak unsatisfied HRTB errorsEsteban Küber-22/+31
2019-09-12Shrink `SubregionOrigin`.Nicholas Nethercote-14/+18
2019-09-09Shrink `ObligationCauseCode` by boxing `IfExpression`.Nicholas Nethercote-2/+3
2019-09-09Shrink `ObligationCauseCode` by boxing `MatchExpressionArm`.Nicholas Nethercote-11/+13
2019-09-07Aggregation of cosmetic changes made during work on REPL PRs: librustcAlexander Regueiro-4/+4
2019-09-05Rollup merge of #64157 - gilescope:opaque-type-location, r=cramertj,CentrilMazdak Farrokhzad-2/+9
2019-09-05Opaque type locations in error message for clarity.Giles Cope-2/+9
2019-09-05Rollup merge of #64110 - estebank:receiver-type, r=CentrilMazdak Farrokhzad-1/+1
2019-09-02Refer to "`self` type" instead of "receiver type"Esteban Küber-1/+1
2019-09-02Emit error on intrinsic to fn ptr castsMark Rousskov-0/+3
2019-08-29Rollup merge of #63961 - JohnTitor:improve-require-lang-item, r=estebankMazdak Farrokhzad-1/+1
2019-08-28Add Option<Span> to `require_lang_item`Yuki Okushi-1/+1
2019-08-27Cleanup: Consistently use `Param` instead of `Arg` #62426Kevin Per-51/+51
2019-08-26Auto merge of #63901 - estebank:unknown-receiver-type, r=zackmdavisbors-7/+32
2019-08-25Point at method call on missing annotation errorEsteban Küber-7/+32
2019-08-21Fix typo in E0308 if/else labelEsteban Küber-1/+1
2019-08-19Rollup merge of #63620 - estebank:assoc-type-span, r=CentrilMazdak Farrokhzad-2/+3
2019-08-19Use constraint span when lowering associated typesEsteban Küber-2/+3
2019-08-19add debug logsNiko Matsakis-0/+1
2019-08-19Auto merge of #63463 - matthewjasper:ty_param_cleanup, r=petrochenkovbors-2/+2
2019-08-14review commentsEsteban Küber-64/+73
2019-08-13Suggest giving return type to closures on E0282Esteban Küber-70/+141
2019-08-13review commentsEsteban Küber-4/+4
2019-08-12Fix tidyEsteban Küber-1/+1
2019-08-12Resolve types when suggesting boxed closureEsteban Küber-4/+20
2019-08-12When needing type annotations in local bindings, account for impl Trait and c...Esteban Küber-2/+16
2019-08-11Remove `is_self` and `has_self_ty` methodsMatthew Jasper-2/+2
2019-08-09Be more accurate when mentioning type of found match armsEsteban Küber-28/+10
2019-08-06Update README.mdMazdak Farrokhzad-1/+1
2019-08-05Fiddle param env through to `try_eval_bits` in most placesOliver Scherer-1/+20
2019-08-04Rename `ItemImplKind::Type` to `ItemImplKind::TyAlias`varkor-1/+1
2019-08-03Auto merge of #63180 - varkor:trait-alias-impl-trait, r=Centrilbors-55/+62
2019-08-02Rollup merge of #63153 - varkor:remove-resolve_const_var, r=cramertjMazdak Farrokhzad-24/+5
2019-08-02Rename `OpaqueTyOrigin` variantsvarkor-5/+5
2019-08-02Replace `exist_ty` and `ExistTy` with `opaque_ty` and `OpaqueTy`varkor-2/+2
2019-08-02Replace `abstract type` with type alias `impl Trait`varkor-19/+19
2019-08-02Fix fallout after rebasevarkor-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 16:34:03 +0000