about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
2022-12-24Bubble up ErrorGuaranteed from region constraints in method item compareMichael Goulet-10/+10
2022-12-24Rename some compare_method functionsMichael Goulet-7/+7
2022-12-24Rollup merge of #105975 - jeremystucki:rustc-remove-needless-lifetimes, r=eholkMatthias Krüger-27/+27
2022-12-22Rollup merge of #106010 - oli-obk:tait_coherence_diagnostic, r=compiler-errorsMatthias Krüger-8/+15
2022-12-21Auto merge of #105613 - Nilstrieb:rename-assert_uninit_valid, r=RalfJungbors-4/+4
2022-12-21Give opaque types a better coherence errorOli Scherer-8/+15
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-27/+27
2022-12-20Auto merge of #105880 - Nilstrieb:make-newtypes-less-not-rust, r=oli-obkbors-3/+3
2022-12-20Auto merge of #105575 - compiler-errors:impl-wf-lint, r=oli-obkbors-12/+98
2022-12-19Auto merge of #103600 - compiler-errors:early-binder-nits, r=spastorinobors-9/+5
2022-12-19Make fast-path for implied wf lint betterMichael Goulet-71/+92
2022-12-19Add IMPLIED_BOUNDS_ENTAILMENT lintMichael Goulet-5/+70
2022-12-18Rollup merge of #105873 - matthiaskrgr:clippy_fmt, r=NilstriebMatthias Krüger-1/+1
2022-12-18A few small cleanups for `newtype_index`Nilstrieb-2/+2
2022-12-18Make `#[custom_encodable]` an attribute for `newtype_index`Nilstrieb-1/+1
2022-12-18use &str / String literals instead of format!()Matthias Krüger-1/+1
2022-12-18remove redundant fn params that were only "used" in recursionMatthias Krüger-4/+3
2022-12-17Rollup merge of #105711 - compiler-errors:rpitit-references-errors, r=eholkMatthias Krüger-0/+2
2022-12-16Auto merge of #105717 - compiler-errors:anonymize, r=jackh726bors-1/+1
2022-12-15Rollup merge of #104592 - ComputerDruid:async_check, r=compiler-errorsMatthias Krüger-0/+43
2022-12-14Ensure async trait impls are async (or otherwise return an opaque type)Dan Johnson-0/+43
2022-12-14always use anonymize_bound_varsMichael Goulet-1/+1
2022-12-14bail in collect_trait_impl_trait_tys if signatures reference errorsMichael Goulet-0/+2
2022-12-14Remove TraitRef::newOli Scherer-2/+2
2022-12-14Prevent the creation of `TraitRef` without dedicated methodsOli Scherer-2/+2
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-3/+3
2022-12-14Guard `AliasTy` creation against passing the wrong number of substsOli Scherer-5/+2
2022-12-14Auto merge of #104986 - compiler-errors:opaques, r=oli-obkbors-51/+42
2022-12-13Rollup merge of #105628 - spastorino:small-doc-fixes, r=compiler-errorsMatthias Krüger-9/+6
2022-12-13Address a few more nitsMichael Goulet-5/+6
2022-12-13Address nitsMichael Goulet-1/+1
2022-12-13Combine identical alias armsMichael Goulet-6/+2
2022-12-13Combine projection and opaque into aliasMichael Goulet-17/+17
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-8/+8
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-31/+25
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-4/+4
2022-12-13Rename `assert_uninit_valid` intrinsicNilstrieb-4/+4
2022-12-13Clarify explicit_predicates_of is_assoc_item_ty commentSantiago Pastorino-3/+4
2022-12-13Move some codegen-y methods from rustc_hir_analysis::collect -> rustc_codegen...Michael Goulet-816/+4
2022-12-13EarlyBinder nitsMichael Goulet-9/+5
2022-12-12Join match arms since they do the same thingSantiago Pastorino-5/+1
2022-12-12Fix typoSantiago Pastorino-1/+1
2022-12-11Rollup merge of #105537 - kadiwa4:remove_some_imports, r=fee1-deadMatthias Krüger-1/+0
2022-12-10compiler: remove unnecessary imports and qualified pathsKaDiWa-1/+0
2022-12-10Rollup merge of #105410 - TaKO8Ki:fix-105257, r=BoxyUwUMatthias Krüger-1/+1
2022-12-10Rollup merge of #105109 - rcvalle:rust-kcfi, r=bjorn3Matthias Krüger-1/+3
2022-12-09Tweak `rustc_must_implement_one_of` diagnostic outputEsteban Küber-11/+8
2022-12-08Add LLVM KCFI support to the Rust compilerRamon de C Valle-1/+3
2022-12-08Rollup merge of #105255 - cjgillot:issue-105197, r=compiler-errorsMatthias Krüger-15/+1
2022-12-08add a test case for `generic_const_exprs` in trait itemsTakayuki Maeda-1/+1