about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2023-08-23Allow MaybeUninit in input and output of inline assemblyTaiki Endo-19/+34
2023-08-22Rollup merge of #115077 - estebank:issue-115019, r=compiler-errorsMichael Goulet-1/+15
2023-08-22Do not emit invalid suggestion in E0191 when spans overlapEsteban Küber-1/+15
2023-08-22unknown unstable lint command linemojave2-0/+1
2023-08-20Add projection obligations when comparing impl tooJack Huey-1/+8
2023-08-16Rollup merge of #114746 - compiler-errors:atb-no-const, r=TaKO8KiMatthias Krüger-10/+28
2023-08-15Rollup merge of #114772 - fee1-dead-contrib:typed-did, r=b-naberGuillaume Gomez-9/+9
2023-08-14Rollup merge of #114752 - RickleAndMortimer:issue-113788-fix, r=compiler-errorsMatthias Krüger-1/+1
2023-08-14fixed *const [type error] does not implement the Copy traitnxya-1/+1
2023-08-14Use `{Local}ModDefId` in many queriesNilstrieb-8/+8
2023-08-14Auto merge of #114787 - compiler-errors:issue-114783, r=jackh726bors-1/+10
2023-08-13Select obligations before processing wf obligation in compare_method_predicat...Michael Goulet-1/+10
2023-08-13Add typed `{Local}DefId` for modulesNilstrieb-1/+1
2023-08-12Opaques do not constrain generic paramsMichael Goulet-1/+1
2023-08-11Only check outlives goals on impl compared to traitJack Huey-12/+39
2023-08-11Don't add associated type bound for non-typesMichael Goulet-10/+28
2023-08-08Auto merge of #114545 - fee1-dead-contrib:lower-impl-effect, r=oli-obkbors-32/+55
2023-08-08Auto merge of #114602 - compiler-errors:rpit-outlives-sadness, r=oli-obkbors-190/+56
2023-08-08Simplify via map_rpit_lifetime_to_fn_lifetimeMichael Goulet-144/+11
2023-08-08Stop using identity args for opaque type wf checks and instead load the args ...Oli Scherer-76/+113
2023-08-08Install bidirectional outlives predicates for RPITITs (and RPITs) correctlyMichael Goulet-66/+28
2023-08-08Unconditionally record lifetime mappingMichael Goulet-1/+1
2023-08-08Rollup merge of #114594 - compiler-errors:new-solver-resolve-aliases, r=lcnrMatthias Krüger-1/+1
2023-08-08Rollup merge of #114566 - fmease:type-alias-laziness-is-crate-specific, r=oli...Matthias Krüger-22/+21
2023-08-07Structurally normalize weak and inherent tooMichael Goulet-1/+1
2023-08-07Fix ICEDeadbeef-17/+48
2023-08-07Store the laziness of type aliases in the DefKindLeón Orell Valerian Liehr-22/+21
2023-08-06Add a new `compare_bytes` intrinsic instead of calling `memcmp` directlyScott McMurray-0/+4
2023-08-06lower impl const to bind to host effect paramDeadbeef-35/+27
2023-08-05Consolidate opaque ty and async fn lowering codeMichael Goulet-1/+1
2023-08-04Rollup merge of #114253 - fmease:compute-variances-for-lazy-ty-aliases, r=oli...Matthias Krüger-9/+63
2023-08-03Forbid old-style `simd_shuffleN` intrinsicsOli Scherer-14/+0
2023-08-03Compute variances for lazy type aliasesLeón Orell Valerian Liehr-9/+63
2023-08-02Remove constness from `TraitPredicate`Deadbeef-74/+18
2023-08-02Rollup merge of #114314 - compiler-errors:sized-crit, r=lcnrMatthias Krüger-1/+1
2023-08-02Rollup merge of #114301 - compiler-errors:dont-error-on-missing-region-outliv...Matthias Krüger-4/+5
2023-08-01Fix a commentMichael Goulet-1/+1
2023-08-01Suppress unnecessary outlivesMichael Goulet-4/+5
2023-07-31Rollup merge of #114267 - compiler-errors:rpitit-opaque-bounds, r=spastorinoMatthias Krüger-17/+47
2023-07-30No need to expect RPITIT projections in opaque item boundsMichael Goulet-15/+1
2023-07-30Remap explicit item bounds of RPITIT's opaque back to ty::OpaqueMichael Goulet-2/+46
2023-07-30Check lazy type aliases for well-formednessLeón Orell Valerian Liehr-2/+5
2023-07-29Take RPITITs inherit the assumed_wf_types of their parent fnMichael Goulet-88/+11
2023-07-29Auto merge of #114156 - calebzulawski:simd-bswap, r=compiler-errorsbors-0/+4
2023-07-28Auto merge of #114181 - matthiaskrgr:rollup-14m8s7f, r=matthiaskrgrbors-4/+22
2023-07-28Type-check generic const itemsLeón Orell Valerian Liehr-103/+122
2023-07-28Lower generic const items to HIRLeón Orell Valerian Liehr-2/+2
2023-07-28Rollup merge of #114147 - compiler-errors:missing-rpitits, r=spastorinoMatthias Krüger-4/+22
2023-07-27Add SIMD bitreverse, ctlz, cttz intrinsicsCaleb Zulawski-0/+3
2023-07-27Add simd_bswap intrinsicCaleb Zulawski-0/+1