about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
2024-11-04ty::KContainer -> ty::AssocItemContainer::KMichael Goulet-9/+9
2024-11-04find the generic container rather than simply looking up for the assoc with c...bohan-8/+2
2024-11-03Rollup merge of #132574 - workingjubilee:abi-in-compiler, r=compiler-errorsJubilee-34/+37
2024-11-03use backticks instead of single quotes when reporting "use of unstable librar...dianne-2/+2
2024-11-03compiler: Directly use rustc_abi in hir_{analysis,typeck}Jubilee Young-34/+37
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-3/+1
2024-11-02Rollup merge of #132466 - cjgillot:opaque-late, r=compiler-errorsMatthias Krüger-3/+20
2024-11-01Skip late-bound lifetimes when crossing an AnonConst.Camille GILLOT-2/+12
2024-11-01Account for late-bound depth when capturing all opaque lifetimes.Camille GILLOT-1/+8
2024-11-01Auto merge of #132196 - compiler-errors:probe_ty_param_bounds, r=petrochenkovbors-49/+94
2024-10-31Rollup merge of #132209 - compiler-errors:modifiers, r=fmeaseJubilee-20/+35
2024-10-31Double check the lowered predicates in type_param_predicatesMichael Goulet-7/+24
2024-10-31Make SelfTraitThatDefines a tighter filterMichael Goulet-27/+55
2024-10-31Make predicate filter in `probe_ty_param_bounds_in_generics` more explicitMichael Goulet-17/+17
2024-10-31Auto merge of #131186 - compiler-errors:precise-capturing-borrowck, r=estebankbors-7/+17
2024-10-31Encode cross-crate opaque type originMichael Goulet-7/+17
2024-10-31Auto merge of #132377 - matthiaskrgr:rollup-3p1c6hs, r=matthiaskrgrbors-9/+13
2024-10-31Rollup merge of #132374 - fmease:rm-dead-eff-code, r=compiler-errorsMatthias Krüger-9/+3
2024-10-31Rollup merge of #132373 - compiler-errors:rpitit-bound, r=fmeaseMatthias Krüger-0/+10
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-9/+3
2024-10-30Make sure type_param_predicates resolves correctly for RPITITMichael Goulet-0/+10
2024-10-30Rollup merge of #132344 - compiler-errors:same-thing, r=lcnrJubilee-16/+21
2024-10-30Rollup merge of #129383 - cjgillot:opaque-noremap, r=compiler-errors,petroche...Jubilee-162/+323
2024-10-30Merge HostPolarity and BoundConstnessMichael Goulet-16/+21
2024-10-30Actually capture all in-scope lifetimes.Camille GILLOT-43/+29
2024-10-30Review comments.Camille GILLOT-1/+1
2024-10-30Adapt comments.Camille GILLOT-12/+12
2024-10-30Remap impl-trait lifetimes on HIR instead of AST lowering.Camille GILLOT-160/+335
2024-10-30Switch to comparing indices instead of names.Adrian Taylor-28/+11
2024-10-30Reject generic self types.Adrian Taylor-13/+89
2024-10-30Rollup merge of #131856 - lcnr:typing-mode, r=compiler-errorsMatthias Krüger-39/+47
2024-10-29Rollup merge of #131984 - dingxiangfei2009:stabilize-if-let-rescope, r=travis...Matthias Krüger-4/+2
2024-10-29TypingMode :thinking:lcnr-39/+47
2024-10-29Rollup merge of #132194 - compiler-errors:rpitit-super-wc, r=spastorinoJubilee-14/+2
2024-10-29Rollup merge of #132119 - compiler-errors:effects-old-solver, r=lcnrJubilee-16/+0
2024-10-28Hack out effects support for old solverMichael Goulet-16/+0
2024-10-28Rollup merge of #132255 - workingjubilee:layout-is-🏚️, r=compiler-errorsJubilee-1/+1
2024-10-28Rollup merge of #132249 - workingjubilee:add-rustc-abi, r=compiler-errorsJubilee-3/+4
2024-10-28compiler: Add `is_uninhabited` and use LayoutS accessorsJubilee Young-1/+1
2024-10-28Rollup merge of #132243 - compiler-errors:no-span, r=jieyouxu许杰友 Jieyou Xu (Joe)-3/+3
2024-10-28Rollup merge of #132227 - compiler-errors:better-const-span, r=Nadrieril许杰友 Jieyou Xu (Joe)-16/+9
2024-10-27compiler: Add rustc_abi dependence to the compilerJubilee Young-3/+4
2024-10-27Remove ObligationCause::span() methodMichael Goulet-3/+3
2024-10-27Rollup merge of #132214 - fmease:mv-impl-trait-val-paths, r=compiler-errorsMatthias Krüger-9/+0
2024-10-27Rollup merge of #132043 - compiler-errors:simplify-rbv, r=cjgillotMatthias Krüger-79/+75
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-26Collect item bounds for RPITITs from trait where clauses just like associated...Michael Goulet-14/+2