about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2023-10-05Rollup merge of #116296 - compiler-errors:default-return, r=estebankJubilee-1/+1
2023-10-05Auto merge of #116273 - compiler-errors:refine2, r=tmandrybors-2/+6
2023-10-04Point to where missing return type should goMichael Goulet-1/+1
2023-10-04Reorder fullfillment errors to keep more interesting ones firstEsteban Küber-11/+11
2023-10-03Rollup merge of #116261 - lcnr:wf-only-clause, r=davidtwcoMatthias Krüger-14/+9
2023-09-30Auto merge of #115933 - oli-obk:simd_shuffle_const, r=workingjubileebors-21/+23
2023-09-29Rollup merge of #112123 - bvanjoi:fix-98562, r=compiler-errorsMatthias Krüger-28/+39
2023-09-29Only trigger refine lint on reachable traitsMichael Goulet-2/+6
2023-09-29fix(suggestion): insert projection to associated typesbohan-28/+39
2023-09-29a small wf and clause cleanuplcnr-14/+9
2023-09-29Rollup merge of #116253 - asquared31415:adt_const_params_feature, r=compiler-...Matthias Krüger-32/+57
2023-09-28make adt_const_params feature suggestion more consistent with others and only...asquared31415-32/+57
2023-09-28Auto merge of #115659 - compiler-errors:itp, r=cjgillotbors-132/+3
2023-09-27Rollup merge of #116149 - compiler-errors:anonymize, r=lcnrMatthias Krüger-4/+25
2023-09-27Auto merge of #116163 - compiler-errors:lazyness, r=oli-obkbors-8/+4
2023-09-26Anonymize binders for refining_impl_trait checkMichael Goulet-4/+25
2023-09-26Don't store lazyness in DefKindMichael Goulet-8/+4
2023-09-26Auto merge of #116072 - compiler-errors:rpitit-implied-bounds, r=aliemjaybors-8/+88
2023-09-24Remove span from BrAnon.Camille GILLOT-4/+4
2023-09-24Rollup merge of #116073 - compiler-errors:poly-sigs, r=b-naberMatthias Krüger-8/+8
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-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-39/+116
2023-09-21Record asyncness span in HIRMichael Goulet-3/+3
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-39/+119
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-14Auto merge of #115677 - matthewjasper:let-expr-recovery, r=b-naberbors-1/+5
2023-09-14Paper over an accidental regressionOli Scherer-1/+9
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-1/+1
2023-09-11add `is_host_effect` to `GenericParamDefKind::Const` and address reviewDeadbeef-1/+1
2023-09-08Stabilize impl_trait_projectionsMichael Goulet-132/+3
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/+279
2023-08-30Auto merge of #114908 - cjgillot:no-let-under, r=compiler-errorsbors-1/+1
2023-08-29repr(transparent): it's fine if the one non-1-ZST field is a ZSTRalf Jung-37/+21
2023-08-23Allow MaybeUninit in input and output of inline assemblyTaiki Endo-19/+34