about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2024-07-19LTA: Diag: Detect bivariant ty params that are only used recursivelyLeón Orell Valerian Liehr-36/+37
2024-07-19Rollup merge of #121533 - ratmice:wasm_init_fini_array, r=nnethercoteTrevor Gross-7/+28
2024-07-18Rollup merge of #127929 - estebank:addr_of, r=compiler-errorsMatthias Krüger-13/+22
2024-07-18Use more accurate span for `addr_of!` suggestionEsteban Küber-13/+22
2024-07-17Account for structs that have unused params in nested types in fieldsMichael Goulet-24/+94
2024-07-17Account for self ty aliasMichael Goulet-5/+10
2024-07-17Mention that type parameters are used recursivelyMichael Goulet-21/+62
2024-07-17Split part of `adt_const_params` into `unsized_const_params`Boxy-18/+33
2024-07-17Forbid `!Sized` types and referencesBoxy-4/+12
2024-07-15Move rustc_infer::infer::error_reporting to rustc_infer::error_reporting::inferMichael Goulet-1/+1
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-7/+7
2024-07-08Rollup merge of #127452 - fee1-dead-contrib:fx-intrinsic-counting, r=fmease许杰友 Jieyou Xu (Joe)-6/+12
2024-07-08Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr许杰友 Jieyou Xu (Joe)-12/+11
2024-07-07Auto merge of #127172 - compiler-errors:full-can_eq-everywhere, r=lcnrbors-49/+43
2024-07-07Fix intrinsic const parameter counting with `effects`Deadbeef-6/+12
2024-07-07iter_identity is a better nameMichael Goulet-12/+11
2024-07-05Use verbose suggestion for changing arg typeEsteban Küber-3/+3
2024-07-05Rework receiver_is_validMichael Goulet-50/+42
2024-07-05Actually just make can_eq process obligations (almost) everywhereMichael Goulet-9/+3
2024-07-05Process alias-relate obligations when proving receiver_is_validMichael Goulet-1/+9
2024-07-02Rewrite dropckBoxy-9/+25
2024-06-28temporarily disable effects on specialization testsDeadbeef-0/+1
2024-06-28implement new effects desugaringDeadbeef-6/+11
2024-06-26Rollup merge of #126968 - lqd:issue-126670, r=compiler-errorsMatthias Krüger-4/+4
2024-06-25delay bug in RPITIT refinement checking with resolution errorsRémy Rakic-4/+4
2024-06-25Rollup merge of #126868 - bvanjoi:fix-126764, r=davidtwcoMatthias Krüger-5/+12
2024-06-24Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr...Michael Goulet-4/+12
2024-06-23not use offset when there is not ends with bracebohan-5/+12
2024-06-22Rollup merge of #126552 - fee1-dead-contrib:rmfx, r=compiler-errorsMatthias Krüger-12/+12
2024-06-21Rename a bunch of thingsMichael Goulet-9/+9
2024-06-21update intrinsic const param countingDeadbeef-12/+12
2024-06-20Rollup merge of #126717 - nnethercote:rustfmt-use-pre-cleanups, r=jieyouxuMatthias Krüger-0/+1
2024-06-20Rollup merge of #126620 - oli-obk:taint_errors, r=fee1-deadMatthias Krüger-10/+1
2024-06-20Add blank lines after module-level `//` comments.Nicholas Nethercote-0/+1
2024-06-19Remove a hack that isn't needed anymoreOli Scherer-10/+1
2024-06-19Rollup merge of #125293 - dingxiangfei2009:tail-expr-temp-lifetime, r=esteban...许杰友 Jieyou Xu (Joe)-2/+8
2024-06-18Prefer `dcx` methods over fields or fields' methodsOli Scherer-1/+1
2024-06-17Rework precise capturing syntaxMichael Goulet-2/+5
2024-06-18tail expression behind terminating scopeDing Xiang Fei-2/+8
2024-06-15Rollup merge of #126417 - beetrees:f16-f128-inline-asm-x86, r=AmanieuMatthias Krüger-0/+4
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-2/+2
2024-06-14Update for reviewmatt rice-2/+17
2024-06-13Add `f16` and `f128` inline ASM support for `x86` and `x86-64`beetrees-0/+4
2024-06-07Auto merge of #125918 - oli-obk:const_block_ice, r=compiler-errorsbors-5/+2
2024-06-07Revert "Create const block DefIds in typeck instead of ast lowering"Oli Scherer-5/+2
2024-06-06Uplift TypeErrorMichael Goulet-0/+1
2024-06-06Auto merge of #124482 - spastorino:unsafe-extern-blocks, r=oli-obkbors-3/+4
2024-06-05Basic removal of `Ty` from places (boring)Boxy-3/+0
2024-06-04Add safe/unsafe to static inside extern blocksSantiago Pastorino-1/+2
2024-06-04Handle safety keyword for extern block inner itemsSantiago Pastorino-2/+2