about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
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-30Validate ExistentialPredicate argsMichael Goulet-2/+1
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-26Make new information notes instead of labelsJonathan Birk-6/+6
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
2024-09-20Implement RTN in resolve_bound_vars and HIR ty loweringMichael Goulet-132/+398
2024-09-20Conditionally allow lowering RTN (..) in pathsMichael Goulet-1/+21
2024-09-20Auto merge of #124895 - obeis:static-mut-hidden-ref, r=compiler-errorsbors-58/+0
2024-09-18Explicitly mark a hack as a HACK and elaborate its commentLeón Orell Valerian Liehr-7/+8
2024-09-18Do not ICE with incorrect empty suggestionEsteban Küber-1/+11
2024-09-18Rollup merge of #130116 - veera-sivarajan:freeze-suggestions, r=chenyukangMatthias Krüger-2/+2
2024-09-16Auto merge of #130439 - matthiaskrgr:rollup-1lkzo74, r=matthiaskrgrbors-5/+10
2024-09-16Don't ICE when RPITIT captures more method args than trait definitionMichael Goulet-5/+10
2024-09-16Introduce distinct error codes for precise capturingMichael Goulet-1/+2
2024-09-16Do precise capturing arg validation in resolveMichael Goulet-6/+4
2024-09-13Disallow hidden references to mutable staticObei Sideg-58/+0
2024-09-13Auto merge of #107251 - dingxiangfei2009:let-chain-rescope, r=jieyouxubors-2/+12