about summary refs log tree commit diff
path: root/compiler/rustc_infer/src
AgeCommit message (Expand)AuthorLines
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-19/+18
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-43/+67
2022-12-13Auto merge of #105350 - compiler-errors:faster-binder-relate, r=oli-obkbors-0/+20
2022-12-13EarlyBinder nitsMichael Goulet-6/+5
2022-12-13Fast path some binder relationsMichael Goulet-0/+20
2022-12-13remove unnecessary uses of `clone`Takayuki Maeda-1/+1
2022-12-12fold instead of obliterating argsBoxy-15/+38
2022-12-09Rollup merge of #105443 - compiler-errors:move-more, r=oli-obkMatthias Krüger-660/+1304
2022-12-08Rollup merge of #104922 - estebank:fur-elize, r=oli-obkMatthias Krüger-79/+104
2022-12-08Move some suggestions from error_reporting to error_reporting::suggestMichael Goulet-660/+1304
2022-12-05Make get_impl_future_output_ty work with AFITMichael Goulet-1/+9
2022-12-04Always evaluate vecs of subdiagnostics eagerlymejrs-1/+1
2022-12-03Rollup merge of #105188 - compiler-errors:verbose-ty-err, r=TaKO8KiYuki Okushi-3/+3
2022-12-02Don't elide information when printing E0308 with ZverboseMichael Goulet-3/+3
2022-12-02Rollup merge of #105185 - compiler-errors:normalize_fn_sig-in-err-ctxt, r=lcnrMatthias Krüger-39/+10
2022-12-02Move normalize_fn_sig to TypeErrCtxtMichael Goulet-39/+10
2022-12-01Drive-by: remove unused type aliasMichael Goulet-1/+0
2022-11-30Auto merge of #99814 - aliemjay:patch-2, r=jackh726bors-3/+6
2022-11-29Auto merge of #105012 - WaffleLapkin:into, r=oli-obkbors-26/+15
2022-11-28Tweak shortening logic to be less trigger happyEsteban Küber-1/+4
2022-11-28Detect long types in E0308 and write them to diskEsteban Küber-79/+101
2022-11-28Remove `Const::from_value`Maybe Waffle-1/+1
2022-11-28Simplify calls to `tcx.mk_const`Maybe Waffle-18/+7
2022-11-28Remove `tcx.mk_const_var`Maybe Waffle-7/+7
2022-11-28Rollup merge of #104936 - cjgillot:self-rpit-orig-too, r=oli-obkMatthias Krüger-2/+5
2022-11-28Rollup merge of #104890 - lcnr:small-cleanup, r=fee1-deadDylan DPC-36/+26
2022-11-28Rollup merge of #104732 - WaffleLapkin:from_def_idn't, r=compiler-errorsDylan DPC-4/+1
2022-11-27Rollup merge of #104976 - WaffleLapkin:move_comments, r=cjgillotMatthias Krüger-21/+21
2022-11-27Auto merge of #104048 - cjgillot:split-lifetime, r=compiler-errorsbors-26/+24
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-21/+21
2022-11-27Use `TyCtxt::is_fn_trait` is a couple more placesMaybe Waffle-4/+1
2022-11-27Rename `fn_trait_kind_from_{from_lang=>def_id}` to better convey meaningMaybe Waffle-1/+1
2022-11-26Rollup merge of #104921 - compiler-errors:no-binder-on-fut-ty, r=cjgillotGuillaume Gomez-19/+14
2022-11-26Rollup merge of #104788 - compiler-errors:unresolved-ct-in-gen, r=fee1-deadGuillaume Gomez-36/+65
2022-11-26Rollup merge of #104786 - WaffleLapkin:amp-mut-help, r=compiler-errorsGuillaume Gomez-5/+2
2022-11-26Ignore bivariant parameters in test_type_match.Camille GILLOT-2/+5
2022-11-26Do not record unresolved const vars in generator interiorMichael Goulet-36/+65
2022-11-26Remove unnecessary binder from get_impl_future_output_tyMichael Goulet-19/+14
2022-11-25Auto merge of #99798 - JulianKnodt:ac1, r=BoxyUwUbors-43/+16
2022-11-25remove `TypeError::ObjectUnsafeCoercion`lcnr-36/+26
2022-11-25Make `expand_abstract_consts` infallibleBoxy-13/+11
2022-11-25Add expand_abstract_constkadmin-6/+2
2022-11-25Add empty ConstKind::Abstractkadmin-35/+14
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-26/+32
2022-11-24Remove normalize_projection_typeSantiago Pastorino-8/+0
2022-11-23Add `Mutability::ref_prefix_str`, order `Mutability`, simplify codeMaybe Waffle-5/+2
2022-11-23Separate lifetime ident from resolution in HIR.Camille GILLOT-26/+24
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-20/+152
2022-11-22Auto merge of #103578 - petrochenkov:nofict, r=nagisabors-2/+2
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-1/+1