about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/astconv
AgeCommit message (Expand)AuthorLines
2022-12-19Auto merge of #103600 - compiler-errors:early-binder-nits, r=spastorinobors-9/+5
2022-12-18use &str / String literals instead of format!()Matthias Krüger-1/+1
2022-12-14Remove TraitRef::newOli Scherer-2/+2
2022-12-14Guard `AliasTy` creation against passing the wrong number of substsOli Scherer-1/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-1/+1
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-5/+2
2022-12-13EarlyBinder nitsMichael Goulet-9/+5
2022-12-05normalize inherent associated types after substitutionLeón Orell Valerian Liehr-0/+1
2022-12-05Auto merge of #104920 - compiler-errors:avoid-infcx-build, r=jackh726bors-4/+1
2022-12-04Avoid InferCtxt::build in generic_arg_mismatch_errMichael Goulet-4/+1
2022-12-03Properly substitute inherent associated types.Camille GILLOT-4/+9
2022-11-28Simplify more FnCtxt normalizationMichael Goulet-1/+1
2022-11-28FnCtxt normalization stuffMichael Goulet-0/+3
2022-11-27Rollup merge of #104976 - WaffleLapkin:move_comments, r=cjgillotMatthias Krüger-2/+2
2022-11-27Auto merge of #104048 - cjgillot:split-lifetime, r=compiler-errorsbors-5/+6
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-2/+2
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-2/+2
2022-11-23Separate lifetime ident from resolution in HIR.Camille GILLOT-5/+6
2022-11-21Auto merge of #104673 - matthiaskrgr:rollup-85f65ov, r=matthiaskrgrbors-1/+1
2022-11-21Rollup merge of #104595 - compiler-errors:poly-existential-predicate, r=lcnrMatthias Krüger-1/+1
2022-11-21Auto merge of #103491 - cjgillot:self-rpit, r=oli-obkbors-28/+5
2022-11-19drive-by: PolyExistentialPredicateMichael Goulet-1/+1
2022-11-18require an `ErrorGuaranteed` to taint infcx with errorsBoxy-3/+7
2022-11-17Auto merge of #104170 - cjgillot:hir-def-id, r=fee1-deadbors-9/+6
2022-11-14respect visibility & stability of inherent associated typesLeón Orell Valerian Liehr-37/+46
2022-11-13Store a LocalDefId in hir::AnonConst.Camille GILLOT-6/+4
2022-11-13Store a LocalDefId in hir::GenericParam.Camille GILLOT-3/+2
2022-11-12Inherit generics for impl-trait.Camille GILLOT-28/+5
2022-11-09Auto merge of #103171 - jackh726:gen-interior-hrtb-error, r=cjgillotbors-2/+2
2022-11-08add 'ty_error_with_guaranteed' and 'const_error_with_guaranteed'yukang-11/+15
2022-11-07Add an optional Span to BrAnon and use it to print better error for HRTB erro...Jack Huey-2/+2
2022-11-05Rollup merge of #103972 - oli-obk:unoptional, r=fee1-deadMatthias Krüger-10/+10
2022-11-05Rollup merge of #103621 - fee1-dead-contrib:iat-fix-use, r=cjgillotDylan DPC-0/+14
2022-11-04Remove an option and choose a behaviour-preserving default instead.Oli Scherer-10/+10
2022-11-04Rollup merge of #103915 - chenyukang:yukang/fix-103874, r=lcnrMatthias Krüger-1/+1
2022-11-03Correctly resolve Inherent Associated TypesDeadbeef-0/+14
2022-11-02Rollup merge of #103875 - oli-obk:ast_conv_simplification, r=spastorinoMatthias Krüger-11/+5
2022-11-02Rollup merge of #103870 - TaKO8Ki:fix-103790, r=fee1-deadMatthias Krüger-0/+3
2022-11-03change error_reported to use Result instead of an optionyukang-1/+1
2022-11-02Simplify astconv item def id handlingOli Scherer-11/+5
2022-11-02return const_error when ty has errorsTakayuki Maeda-0/+3
2022-10-29Use LanguageItems::require lessCameron Steffen-4/+3
2022-10-29Rename some `OwnerId` fields.Nicholas Nethercote-1/+1
2022-10-25Split diagnostic details out into a separate function and fluent filesOli Scherer-4/+1
2022-10-25Move a wf-check into the site where the value is instantiatedOli Scherer-18/+53
2022-10-21Auto merge of #103344 - Dylan-DPC:rollup-d1rpfvx, r=Dylan-DPCbors-11/+14
2022-10-20rustc_hir_typeck: fix paths and partially mv fileslcnr-1/+1
2022-10-20Implement assertions and fixes to not emit empty spans without suggestionsKevin Per-11/+14
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-3/+3