about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2023-09-26Don't store lazyness in DefKindMichael Goulet-36/+42
2023-09-26Auto merge of #116072 - compiler-errors:rpitit-implied-bounds, r=aliemjaybors-8/+88
2023-09-24Added additional visit steps to visit_generic_param() in order to avoid ICE o...Lenko Donchev-16/+15
2023-09-24Remove span from BrAnon.Camille GILLOT-6/+6
2023-09-24Rollup merge of #116073 - compiler-errors:poly-sigs, r=b-naberMatthias Krüger-8/+8
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-7/+1
2023-09-23Enable drop_tracking_mir by default.Camille GILLOT-8/+1
2023-09-23Auto merge of #116081 - compiler-errors:closure-captures-sized, r=cjgillotbors-1/+20
2023-09-23Auto merge of #116045 - notriddle:notriddle/issue-83556, r=cjgillotbors-3/+19
2023-09-22diagnostics: simpler 83556 handling by bailing outMichael Howell-8/+3
2023-09-23Check types live across yields in generators tooMichael Goulet-1/+20
2023-09-22Allow higher-ranked fn sigs in ValuePairsMichael Goulet-8/+8
2023-09-22Need to use hybrid param-env to make sure implication is not circularMichael Goulet-2/+13
2023-09-22Use placeholders to prevent using inferred RPITIT types to imply their own WF...Michael Goulet-6/+75
2023-09-22Rollup merge of #116039 - estebank:nested-tait, r=compiler-errorsMatthias Krüger-2/+7
2023-09-21diagnostics: avoid mismatch between variance index and hir genericMichael Howell-3/+24
2023-09-21Auto merge of #115897 - eduardosm:check-fn-sig, r=compiler-errorsbors-64/+117
2023-09-21Record asyncness span in HIRMichael Goulet-4/+4
2023-09-21Account for nested `impl Trait` in TAITEsteban Küber-2/+7
2023-09-20Rollup merge of #115566 - zirconium-n:issue-107250-clean-up-unused-to-predica...Guillaume Gomez-5/+5
2023-09-20Migrate `rustc_hir_analysis` to session diagnosticObei Sideg-122/+202
2023-09-20Auto merge of #115486 - compiler-errors:dont-capture-late-pls, r=cjgillotbors-26/+65
2023-09-20remove `impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicat...Ziru Niu-5/+5
2023-09-19wrap fn sig binders in fn ptrEduardo Sánchez Muñoz-10/+7
2023-09-19rustc_hir_analysis: add a helper to check function the signature mismatchesEduardo Sánchez Muñoz-64/+120
2023-09-19Don't complain on a single non-exhaustive 1-zstMichael Goulet-19/+29
2023-09-18Prototype using const generic for simd_shuffle IDX arrayOli Scherer-21/+23
2023-09-17Auto merge of #115334 - RalfJung:transparent-aligned-zst, r=compiler-errorsbors-37/+21
2023-09-16Rollup merge of #115860 - Soveu:varargs2, r=WaffleLapkinMatthias Krüger-1/+1
2023-09-15Auto merge of #115853 - obeis:hir-analysis-migrate-diagnostics-6, r=compiler-...bors-77/+88
2023-09-14Enable varargs support for AAPCS calling conventionSoveu-1/+1
2023-09-14Auto merge of #115677 - matthewjasper:let-expr-recovery, r=b-naberbors-1/+5
2023-09-14Migrate `rustc_hir_analysis` to session diagnosticObei Sideg-77/+88
2023-09-14Paper over an accidental regressionOli Scherer-1/+9
2023-09-12Auto merge of #115699 - RalfJung:interpret-abi-compat, r=oli-obkbors-0/+8
2023-09-11Move let expression checking to parsingMatthew Jasper-1/+1
2023-09-11Don't create drop scopes after item statementsMatthew Jasper-1/+5
2023-09-11Rollup merge of #115727 - fee1-dead-contrib:effect-fallback, r=oli-obkMatthias Krüger-3/+6
2023-09-11add `is_host_effect` to `GenericParamDefKind::Const` and address reviewDeadbeef-3/+6
2023-09-11explain why DispatchFromDyn does the check it doesRalf Jung-0/+8
2023-09-08E0220: only suggests associated types if there's only one candidateLieselotte-25/+19
2023-09-08Improve "associated type not found" diagnosticsLieselotte-11/+42
2023-09-08Stabilize impl_trait_projectionsMichael Goulet-132/+3
2023-09-07Add noteMichael Goulet-0/+1
2023-09-07Don't emit refining_impl_trait for private itemsMichael Goulet-0/+28
2023-09-07Use self instead of the actual self tyMichael Goulet-3/+15
2023-09-07Implement refinement lint for RPITITMichael Goulet-0/+294
2023-09-06Auto merge of #115401 - Zoxc:freeze, r=oli-obkbors-0/+4
2023-09-05Correctly deny late-bound lifetimes from parent in anon consts and TAITsMichael Goulet-26/+65
2023-09-02Freeze `Definitions` earlierJohn Kåre Alsaker-0/+4