about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-2/+2
2024-08-06Auto merge of #125558 - Amanieu:const-asm-type, r=lcnrbors-25/+15
2024-07-30Auto merge of #128250 - Amanieu:select_unpredictable, r=nikicbors-0/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-63/+59
2024-07-28Force LLVM to use CMOV for binary searchAmanieu d'Antras-0/+2
2024-07-26Auto merge of #121676 - Bryanskiy:polarity, r=petrochenkovbors-1/+1
2024-07-26Rollup merge of #127220 - BoxyUwU:dropck_handle_extra_impl_params, r=compiler...Matthias Krüger-9/+25
2024-07-25Apply suggestions from code reviewFolkert de Vries-1/+1
2024-07-25apply fix suggested by lcnrFolkert-39/+13
2024-07-25Tweak type inference for `const` operands in inline asmAmanieu d'Antras-4/+20
2024-07-25Support ?Trait bounds in supertraits and dyn Trait under a feature gateBryanskiy-1/+1
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-9/+7
2024-07-21Auto merge of #127722 - BoxyUwU:new_adt_const_params_limitations, r=compiler-...bors-16/+39
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