about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
2024-10-31Auto merge of #132377 - matthiaskrgr:rollup-3p1c6hs, r=matthiaskrgrbors-3/+1
2024-10-31Validate associated type bounds on ?Michael Goulet-13/+25
2024-10-30Actually do validation for poly trait refs with ? modifierMichael Goulet-8/+11
2024-10-30Remove dead code stemming from the old effects desugaringLeón Orell Valerian Liehr-3/+1
2024-10-30Rollup merge of #132344 - compiler-errors:same-thing, r=lcnrJubilee-2/+7
2024-10-30Merge HostPolarity and BoundConstnessMichael Goulet-2/+7
2024-10-30Remap impl-trait lifetimes on HIR instead of AST lowering.Camille GILLOT-49/+45
2024-10-29TypingMode :thinking:lcnr-3/+3
2024-10-28Rollup merge of #132227 - compiler-errors:better-const-span, r=Nadrieril许杰友 Jieyou Xu (Joe)-16/+9
2024-10-27Rollup merge of #132214 - fmease:mv-impl-trait-val-paths, r=compiler-errorsMatthias Krüger-9/+0
2024-10-27Move an impl-Trait check from AST validation to AST loweringLeón Orell Valerian Liehr-9/+0
2024-10-26Pass constness with span into lower_poly_trait_refMichael Goulet-16/+9
2024-10-26Effects cleanupDeadbeef-1/+1
2024-10-24Implement const effect predicate in new solverMichael Goulet-14/+82
2024-10-24Remove associated type based effects logicMichael Goulet-9/+1
2024-10-23nightly feature tracking: get rid of the per-feature bool fieldsRalf Jung-4/+4
2024-10-22Represent TraitBoundModifiers as distinct parts in HIRMichael Goulet-20/+18
2024-10-22Rollup merge of #131049 - compiler-errors:more-validation, r=spastorinoMatthias Krüger-2/+1
2024-10-21Rollup merge of #131981 - compiler-errors:bound-constness, r=cjgillotMatthias Krüger-11/+10
2024-10-20Remove the BoundConstness::NotConst variantMichael Goulet-11/+10
2024-10-20Inline lower_mono_bounds into lower_poly_boundsMichael Goulet-31/+2
2024-10-20Make LowerPolyBounds take an IntoIteratorMichael Goulet-3/+3
2024-10-19Rollup merge of #131939 - compiler-errors:predicate-filter, r=fmeaseMatthias Krüger-56/+45
2024-10-19Use PredicateFilter instead of OnlySelfBoundsMichael Goulet-56/+45
2024-10-19Remove unnecessary constnessMichael Goulet-45/+16
2024-10-15Auto merge of #131723 - matthiaskrgr:rollup-krcslig, r=matthiaskrgrbors-14/+15
2024-10-14improve error messages for `C-cmse-nonsecure-entry` functionsFolkert de Vries-57/+100
2024-10-14Move trait bound modifiers into hir::PolyTraitRefMichael Goulet-14/+15
2024-10-12Rollup merge of #131239 - VulnBandit:trait-vulnerability, r=lcnrMatthias Krüger-35/+37
2024-10-12Rollup merge of #128784 - tdittr:check-abi-on-fn-ptr, r=compiler-errorsMatthias Krüger-4/+22
2024-10-11Don't assume traits used as type are trait objsVulnBandit-35/+37
2024-10-05Auto merge of #129244 - cjgillot:opaque-hir, r=compiler-errorsbors-37/+30
2024-10-04Rollup merge of #131273 - estebank:issue-131051, r=compiler-errorsJubilee-7/+10
2024-10-04rm `ItemKind::OpaqueTy`Noah Lev-37/+30
2024-10-04Account for `impl Trait {` when `impl Trait for Type {` was intendedEsteban Küber-7/+10
2024-10-04Elaborate supertrait span correctly to label the error betterMichael Goulet-5/+15
2024-10-04Check elaborated projections from dyn don't mention unconstrained late bound ...Michael Goulet-0/+50
2024-10-03Rollup merge of #131183 - compiler-errors:opaque-ty-origin, r=estebankMatthias Krüger-8/+28
2024-10-02Move in_trait into OpaqueTyOriginMichael Goulet-7/+27
2024-10-02Remove redundant in_trait from hir::TyKind::OpaqueDefMichael Goulet-2/+2
2024-10-02Handle `rustc-hir-analysis` cases of `rustc::potential_query_instability` lintismailarilik-3/+3
2024-09-30Validate ExistentialPredicate argsMichael Goulet-2/+1
2024-09-27Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-...Matthias Krüger-29/+31
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-29/+31
2024-09-24Separate collection of crate-local inherent impls from error reportingMichael Goulet-2/+2
2024-09-23Check ABI target compatibility for function pointersTamme Dittrich-4/+22
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-34/+29
2024-09-21Rollup merge of #130666 - compiler-errors:super-bounds, r=fee1-dead,fmeaseMichael Goulet-0/+1
2024-09-21Don't elaborate effects predicates into bounds list unless we're actually col...Michael Goulet-0/+1
2024-09-20Add missing diagnostics and flesh out testsMichael Goulet-4/+26