about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2024-10-14improve error messages for `C-cmse-nonsecure-entry` functionsFolkert de Vries-61/+113
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-15/+37
2024-10-11intrinsics.fmuladdf{16,32,64,128}: expose llvm.fmuladd.* semanticsJed Brown-0/+13
2024-10-11Don't assume traits used as type are trait objsVulnBandit-35/+37
2024-10-11Auto merge of #131045 - compiler-errors:remove-unnamed_fields, r=wesleywiserbors-198/+4
2024-10-10Rollup merge of #131475 - fmease:compiler-mv-obj-safe-dyn-compat-2, r=jieyouxuMatthias Krüger-1/+1
2024-10-10Don't fire refinement lint if there are errorsMichael Goulet-0/+4
2024-10-10Clarify implicit captures for RPITITMichael Goulet-9/+25
2024-10-10Add variances to RPITITsMichael Goulet-5/+44
2024-10-10Rename feature object_safe_for_dispatch to dyn_compatible_for_dispatchLeón Orell Valerian Liehr-1/+1
2024-10-05Auto merge of #129244 - cjgillot:opaque-hir, r=compiler-errorsbors-252/+200
2024-10-04Rollup merge of #131273 - estebank:issue-131051, r=compiler-errorsJubilee-7/+10
2024-10-04Rollup merge of #130367 - compiler-errors:super-unconstrained, r=spastorinoJubilee-4/+64
2024-10-04Simplify bound var resolution.Camille GILLOT-29/+27
2024-10-04Remove stray fixmes.Camille GILLOT-3/+0
2024-10-04WfCheck opaques.Camille GILLOT-12/+31
2024-10-04rm `ItemKind::OpaqueTy`Noah Lev-211/+145
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-04Rollup merge of #130518 - scottmcm:stabilize-controlflow-extra, r=dtolnayJubilee-1/+0
2024-10-04Rollup merge of #131202 - Urgau:wide-ptrs-compiler, r=jieyouxuGuillaume Gomez-2/+2
2024-10-04Use wide pointers consistenly across the compilerUrgau-2/+2
2024-10-03Rollup merge of #131183 - compiler-errors:opaque-ty-origin, r=estebankMatthias Krüger-59/+89
2024-10-02Move in_trait into OpaqueTyOriginMichael Goulet-55/+83
2024-10-02Use named fields for OpaqueTyOriginMichael Goulet-16/+18
2024-10-02Remove redundant in_trait from hir::TyKind::OpaqueDefMichael Goulet-4/+4
2024-10-02Handle `rustc-hir-analysis` cases of `rustc::potential_query_instability` lintismailarilik-16/+15
2024-10-01Remove unnamed field featureMichael Goulet-198/+4
2024-09-30Rollup merge of #131038 - onkoe:fix/adt_const_params_leak_118179, r=compiler-...Matthias Krüger-5/+12
2024-09-29fix(hir_analysis/wfcheck): don't leak {type error}Barrett Ray-5/+12
2024-09-30Auto merge of #129499 - fee1-dead-contrib:supereffects, r=compiler-errorsbors-31/+42
2024-09-27Rollup merge of #130826 - fmease:compiler-mv-obj-safe-dyn-compat, r=compiler-...Matthias Krüger-42/+46
2024-09-27properly elaborate effects implied bounds for super traitsDeadbeef-31/+42
2024-09-25Stabilize the `map`/`value` methods on `ControlFlow`Scott McMurray-1/+0
2024-09-25Add a few more tests, commentsMichael Goulet-0/+6
2024-09-25Pull out into helper functionMichael Goulet-99/+112
2024-09-25Collect relevant item bounds from trait clauses for nested rigid projections,...Michael Goulet-10/+216
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-42/+46
2024-09-24Separate collection of crate-local inherent impls from error reportingMichael Goulet-22/+27
2024-09-23Check ABI target compatibility for function pointersTamme Dittrich-15/+37
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-206/+168
2024-09-21Rollup merge of #130666 - compiler-errors:super-bounds, r=fee1-dead,fmeaseMichael Goulet-11/+84
2024-09-21Don't elaborate effects predicates into bounds list unless we're actually col...Michael Goulet-1/+8
2024-09-21Assert that explicit_super_predicates_of and explicit_item_bounds truly only ...Michael Goulet-10/+76
2024-09-21More tests and tweak commentsMichael Goulet-4/+15
2024-09-20Resolve self type alias in impl for RTNMichael Goulet-1/+25
2024-09-20Add missing diagnostics and flesh out testsMichael Goulet-12/+35
2024-09-20Flesh out some TODOsMichael Goulet-17/+93