summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/hir_ty_lowering
AgeCommit message (Expand)AuthorLines
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-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
2024-09-20Flesh out some TODOsMichael Goulet-8/+50
2024-09-20Implement RTN in resolve_bound_vars and HIR ty loweringMichael Goulet-126/+282
2024-09-20Conditionally allow lowering RTN (..) in pathsMichael Goulet-1/+14
2024-09-11Also fix if in elseMichael Goulet-6/+4
2024-09-09do `PolyFnSig` -> `FnSig` conversion laterFolkert de Vries-5/+8
2024-09-07fix ICE in CMSE type validationFolkert de Vries-5/+8
2024-09-03Rollup merge of #127692 - veera-sivarajan:bugfix-125139, r=estebankMatthias Krüger-23/+55
2024-09-02chore: Fix typos in 'compiler' (batch 1)Alexander Cyon-2/+2
2024-08-31Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxuMatthias Krüger-0/+4
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_hir_analysis`.Nicholas Nethercote-0/+4
2024-08-29Stop using ty::GenericPredicates for non-predicates_of queriesMichael Goulet-3/+3
2024-08-27Add `warn(unreachable_pub)` to `rustc_hir_analysis`.Nicholas Nethercote-1/+1
2024-08-26Rollup merge of #129590 - compiler-errors:ref-tykind, r=fmeaseMatthias Krüger-2/+2
2024-08-25Remove redundant flags that can be inferred from the HIRMichael Goulet-28/+21
2024-08-25Avoid taking reference of &TyKindMichael Goulet-2/+2
2024-08-24Rework how we emit errors for unresolved object lifetimesMichael Goulet-15/+24
2024-08-22Use a LocalDefId in ResolvedArg.Camille GILLOT-13/+16
2024-08-21Rollup merge of #128843 - veera-sivarajan:small-cleanup, r=davidtwcoMatthias Krüger-3/+2
2024-08-19Suggest `impl Trait` for References to Bare Trait in Function HeaderVeera-23/+55
2024-08-08Remove a Redundant Conditional CheckVeera-3/+2
2024-08-07Rollup merge of #128424 - fee1-dead-contrib:fx-clean, r=oli-obkGuillaume Gomez-26/+0
2024-08-06Rollup merge of #128377 - veera-sivarajan:fix-128249, r=davidtwcoMatthias Krüger-14/+27
2024-07-31minor `effects` cleanupsDeadbeef-26/+0
2024-07-29Fix ICE Caused by Incorrectly Delaying E0107Veera-14/+27
2024-07-29Delegation: support generics for delegation from free functionsBryanskiy-89/+5
2024-07-29Reformat `use` declarations.Nicholas Nethercote-47/+53
2024-07-26Auto merge of #121676 - Bryanskiy:polarity, r=petrochenkovbors-12/+27
2024-07-26Forbid `?Trait` bounds repetitionsBryanskiy-10/+16
2024-07-25Support ?Trait bounds in supertraits and dyn Trait under a feature gateBryanskiy-14/+23