about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
2024-11-20we should not be reporting generic error if there is not a segment to denyMichael Goulet-2/+2
2024-11-19Fix broken intra-doc linkBoxy-1/+1
2024-11-19Introduce `min_generic_const_args` and directly represent pathsNoah Lev-33/+161
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-4/+6
2024-11-04ty::BrK -> ty::BoundRegionKind::KMichael Goulet-10/+12
2024-11-03Rollup merge of #132574 - workingjubilee:abi-in-compiler, r=compiler-errorsJubilee-9/+8
2024-11-03compiler: Directly use rustc_abi in hir_{analysis,typeck}Jubilee Young-9/+8
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-1/+0
2024-11-01Auto merge of #132196 - compiler-errors:probe_ty_param_bounds, r=petrochenkovbors-6/+10
2024-10-31Rollup merge of #132209 - compiler-errors:modifiers, r=fmeaseJubilee-20/+35
2024-10-31Make SelfTraitThatDefines a tighter filterMichael Goulet-6/+10
2024-10-31Auto merge of #131186 - compiler-errors:precise-capturing-borrowck, r=estebankbors-1/+2
2024-10-31Encode cross-crate opaque type originMichael Goulet-1/+2
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