about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
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
2023-07-27Insert RPITITs that were shadowed by missing ADTs that resolve to type errorMichael Goulet-4/+22
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-19/+8
2023-07-27Rollup merge of #114075 - matthiaskrgr:fmt_args_rustc_3, r=wesleywiserMatthias Krüger-74/+63
2023-07-25Rollup merge of #113661 - oli-obk:tait_wtf, r=lcnrMatthias Krüger-4/+175
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-74/+63
2023-07-25Try explaining where `Inner` is in the signature betterOli Scherer-1/+1
2023-07-24Explain RPITs in the way they actually workOli Scherer-10/+16
2023-07-24Some documentation nitsOli Scherer-7/+30
2023-07-24Explain what the heck is going on with this lifetime remapping businessOli Scherer-5/+12
2023-07-23fix clippy::useless_formatMatthias Krüger-1/+1
2023-07-22Rollup merge of #113950 - cjgillot:clean-resolve, r=jackh726Matthias Krüger-38/+21
2023-07-22Remove Scope::Elision.Camille GILLOT-38/+21
2023-07-21Double check that hidden types match the expected hidden typeOli Scherer-4/+139
2023-07-21error/E0691: include alignment in error messageDavid Rheinsberg-10/+19
2023-07-20Auto merge of #113546 - cjgillot:unused-query, r=compiler-errorsbors-3/+9
2023-07-20XSimplifiedType to SimplifiedType::Xlcnr-5/+5
2023-07-20Rollup merge of #113795 - compiler-errors:doc, r=spastorinoMatthias Krüger-1/+1
2023-07-19Make it clearer that edition functions are >=, not ==Michael Goulet-1/+1
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-5/+5
2023-07-17Properly document lifetime_mapping in OpaqueTyMichael Goulet-1/+1
2023-07-16Querify unused trait check.Camille GILLOT-3/+9
2023-07-15Check entry type as part of item type checking.Camille GILLOT-269/+284
2023-07-14Rollup merge of #113698 - compiler-errors:rpitit-check, r=spastorinoMatthias Krüger-6/+6
2023-07-14Make it clearer that we're just checking for an RPITITMichael Goulet-6/+6
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-525/+536
2023-07-14Introduce ExtentUnord trait for collections that can safely consume UnordItems.Michael Woerister-1/+1