about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
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-11Add `round_ties_even` to `f32` and `f64`Jules Bertholet-0/+2
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
2022-12-07Auto merge of #104799 - pcc:linkage-fn, r=tmiaskobors-2/+47
2022-12-07consider `parent_count` for const param defaultsTakayuki Maeda-1/+1
2022-12-06Rollup merge of #105254 - cjgillot:issue-105251, r=oli-obkMatthias Krüger-4/+38
2022-12-06Rollup merge of #105005 - estebank:where-clause-lts, r=compiler-errorsMatthias Krüger-11/+44
2022-12-05On E0195 point at where clause lifetime boundsEsteban Küber-11/+44
2022-12-05Support Option and similar enums as type of static variable with linkage attr...Peter Collingbourne-2/+21
2022-12-05Move linkage type check to HIR analysis and fix semantics issues.Peter Collingbourne-1/+27
2022-12-05normalize inherent associated types after substitutionLeón Orell Valerian Liehr-0/+1
2022-12-05Auto merge of #104920 - compiler-errors:avoid-infcx-build, r=jackh726bors-4/+1
2022-12-04Avoid InferCtxt::build in generic_arg_mismatch_errMichael Goulet-4/+1
2022-12-04Auto merge of #105261 - matthiaskrgr:rollup-9ghhc9c, r=matthiaskrgrbors-21/+25
2022-12-04Rollup merge of #105247 - cjgillot:issue-102682, r=compiler-errorsMatthias Krüger-17/+16
2022-12-04Rollup merge of #105224 - cjgillot:issue-104240, r=compiler-errorsMatthias Krüger-4/+9
2022-12-04Make nested RPITIT inherit the parent opaque's generics.Camille GILLOT-15/+1
2022-12-04Auto merge of #103293 - est31:untwist_and_drop_order, r=nagisabors-9/+38
2022-12-04Recurse into nested impl-trait when computing variance.Camille GILLOT-4/+38
2022-12-04Use parent function WfCheckingContext to check RPITIT.Camille GILLOT-17/+16
2022-12-04Also avoid creating a terminating scope in mixed chainsest31-13/+13
2022-12-04Improve commentsest31-6/+18
2022-12-03Remove drop order twist of && and || and make them associativeest31-4/+21
2022-12-03Properly substitute inherent associated types.Camille GILLOT-4/+9
2022-12-03Rollup merge of #105200 - cjgillot:issue-104562, r=compiler-errorsMatthias Krüger-19/+0
2022-12-03Rollup merge of #105193 - tmiasko:naked-nocoverage, r=wesleywiserMatthias Krüger-0/+5