about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
2025-04-07Rollup merge of #139112 - m-ou-se:super-let, r=lcnrStuart Cook-16/+85
2025-04-07Rollup merge of #139035 - nnethercote:PatKind-Missing, r=oli-obkStuart Cook-0/+1
2025-04-07More trivial tweaksMichael Goulet-7/+4
2025-04-06remove compiler support for `extern "rust-intrinsic"` blocksSkgland-76/+51
2025-04-04Auto merge of #139390 - matthiaskrgr:rollup-l64euwx, r=matthiaskrgrbors-15/+24
2025-04-04Don't construct preds w escaping bound vars in diagnostic_hir_wf_checkMichael Goulet-1/+10
2025-04-04Rollup merge of #139374 - oli-obk:const-trait-bound, r=compiler-errorsMatthias Krüger-2/+2
2025-04-04Rollup merge of #139041 - nnethercote:rm-rustc_middle-ty-util-ExplicitSelf, r...Matthias Krüger-13/+22
2025-04-04Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obkbors-234/+157
2025-04-04Use the span of the whole bound when the diagnostic talks about a boundOli Scherer-2/+2
2025-04-04Default auto traits: fix perfBryanskiy-35/+51
2025-04-04Boolean hate.Mara Bos-5/+15
2025-04-04Implement `super let`.Mara Bos-16/+75
2025-04-04Auto merge of #120706 - Bryanskiy:leak, r=lcnrbors-51/+279
2025-04-03Initial support for auto traits with default boundsBryanskiy-51/+279
2025-04-03compiler: report error when trait object type param reference selfxtex-0/+25
2025-04-03add `TypingMode::Borrowck`lcnr-163/+158
2025-04-03rm RpitConstraintCheckerlcnr-72/+0
2025-04-02Rollup merge of #139232 - nnethercote:remove-Map-5, r=ZalatharTakayuki Maeda-31/+28
2025-04-02Auto merge of #139018 - oli-obk:incremental-trait-impls, r=compiler-errorsbors-27/+26
2025-04-02Only walk local items instead of filtering for them laterOli Scherer-19/+17
2025-04-02Directly fetch the impl self typeOli Scherer-2/+2
2025-04-02Only look at trait impls in the current crate when looking for `Drop` implsOli Scherer-3/+1
2025-04-02Remove `recursion_limit` increases.Nicholas Nethercote-1/+0
2025-04-02Rollup merge of #139200 - xizheyin:issue-139174, r=compiler-errorsStuart Cook-0/+1
2025-04-02Rollup merge of #135295 - eyraudh:master, r=compiler-errorsStuart Cook-0/+8
2025-04-02Move methods from `Map` to `TyCtxt`, part 5.Nicholas Nethercote-31/+28
2025-04-01Ensure `calculcate_dtor` is only ever called on local typesOli Scherer-2/+2
2025-04-01Decouple trait impls of different traits wrt incrementalOli Scherer-1/+4
2025-04-01Skip suggest impl or dyn when poly trait is not a real traitxizheyin-0/+1
2025-03-28Remove `terminating_scopes` hash set.Mara Bos-164/+95
2025-03-28Rollup merge of #139047 - m-ou-se:remove-scope-depth, r=oli-obkMatthias Krüger-25/+14
2025-03-28Rollup merge of #137889 - mu001999-contrib:update-doc, r=wesleywiserMatthias Krüger-2/+2
2025-03-28Remove outdated comment.Mara Bos-1/+0
2025-03-28Remove ScopeDepth entirely.Mara Bos-24/+14
2025-03-28Remove `rustc_middle::ty::util::ExplicitSelf`.Nicholas Nethercote-13/+22
2025-03-28Add `{ast,hir,thir}::PatKind::Missing` variants.Nicholas Nethercote-0/+1
2025-03-26Remove ScopeDepth from var_parent.Mara Bos-10/+16
2025-03-26Don't set cx.parent to None; it seems unnecessary.Mara Bos-2/+1
2025-03-26Simplify RvalueCandidateType.Mara Bos-8/+2
2025-03-26Don't record child scopes for patterns.Mara Bos-2/+0
2025-03-23fix: Check empty SIMD vector in inline asmHadrien Eyraud-0/+8
2025-03-22Auto merge of #138719 - lcnr:concrete_opaque_types-closures, r=oli-obkbors-13/+1
2025-03-20Rollup merge of #138727 - compiler-errors:ty-var-origin, r=fmeaseMatthias Krüger-47/+16
2025-03-20Rollup merge of #138685 - nnethercote:use-Option-Ident-for-lowered-param-name...Matthias Krüger-5/+13
2025-03-20Do not rely on type_var_origin in OrphanCheckErr::NonLocalInputTypeMichael Goulet-47/+16
2025-03-19merge opaque types of nested bodieslcnr-6/+0
2025-03-19remove unnecessary looplcnr-7/+1
2025-03-19Use `Option<Ident>` for lowered param names.Nicholas Nethercote-5/+13
2025-03-18Remove existing AFIDT implementationMichael Goulet-1/+1