about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src
AgeCommit message (Expand)AuthorLines
2022-11-16Use `as_deref` in compiler (but only where it makes sense)Maybe Waffle-1/+1
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-20/+19
2022-11-16Rollup merge of #104348 - fmease:iat-vis-stab, r=cjgillotMatthias Krüger-37/+46
2022-11-15Auto merge of #104054 - RalfJung:byte-provenance, r=oli-obkbors-1/+1
2022-11-15use `ocx` type relation routineslcnr-10/+6
2022-11-15Rollup merge of #104339 - compiler-errors:rustc_deny_explicit_impl, r=cjgillotMatthias Krüger-50/+16
2022-11-14respect visibility & stability of inherent associated typesLeón Orell Valerian Liehr-37/+46
2022-11-14Typo.Camille GILLOT-1/+1
2022-11-14Deduplicate visitor.Camille GILLOT-96/+19
2022-11-14Add rustc_deny_explicit_implMichael Goulet-50/+16
2022-11-13Store a LocalDefId in hir::Variant & hir::Field.Camille GILLOT-26/+16
2022-11-13Store a LocalDefId in hir::AnonConst.Camille GILLOT-12/+8
2022-11-13Store a LocalDefId in hir::GenericParam.Camille GILLOT-55/+39
2022-11-13Store LocalDefId in hir::Closure.Camille GILLOT-10/+7
2022-11-13Ensure codegen_fn_attrs during collection.Camille GILLOT-1/+9
2022-11-13Create bidirectional bounds between original and duplicated parameters.Camille GILLOT-45/+87
2022-11-12Verify predicates on RPIT and async opaques.Camille GILLOT-20/+0
2022-11-12Make impl_trait_projections a feature gate.Camille GILLOT-8/+11
2022-11-12Inherit generics for impl-trait.Camille GILLOT-42/+84
2022-11-12Compute variance for opaques too.Camille GILLOT-2/+92
2022-11-12Auto merge of #104310 - Dylan-DPC:rollup-wgt1z4a, r=Dylan-DPCbors-105/+142
2022-11-12Rollup merge of #104214 - Nilstrieb:returns_impl_Ice, r=compiler-errorsDylan DPC-105/+142
2022-11-12Auto merge of #103530 - cjgillot:hir-lifetimes-direct, r=estebankbors-238/+124
2022-11-11Clean-up formatting.Camille GILLOT-5/+4
2022-11-11Visit opaque types during type collection too.Camille GILLOT-21/+20
2022-11-11Resolve lifetimes using the regular logic for RPIT.Camille GILLOT-37/+36
2022-11-11Resolve lifetimes independently for each item-like.Camille GILLOT-177/+66
2022-11-11Tweak signatures in rustc_middle::hir::map.Camille GILLOT-1/+1
2022-11-10Apply PR feedback.Ben Reeves-10/+9
2022-11-10Require `~const` qualifier on trait bounds in specializing impls if present i...Ben Reeves-16/+43
2022-11-10Disallow specializing on const impls with non-const impls.Ben Reeves-4/+31
2022-11-10Allow specialized const trait impls.Ben Reeves-21/+44
2022-11-09Rollup merge of #104156 - oli-obk:autoderef, r=estebankManish Goregaokar-2/+1
2022-11-09Emit error in `collecting_trait_impl_trait_tys` on mismatched signaturesNilstrieb-105/+142
2022-11-09Auto merge of #103723 - CastilloDel:master, r=jackh726bors-11/+11
2022-11-09Auto merge of #104179 - Manishearth:rollup-yvsx5hh, r=Manishearthbors-5/+99
2022-11-08Rollup merge of #100508 - BoxyUwU:make_less_things_late_bound, r=nikomatsakisManish Goregaokar-5/+99
2022-11-09Auto merge of #103171 - jackh726:gen-interior-hrtb-error, r=cjgillotbors-8/+13
2022-11-08commentBoxy-11/+23
2022-11-08Reduce the scope of allow(rustc::potential_query_instability) in rustc_trait_...CastilloDel-11/+11
2022-11-08Remove overloaded_span argument from `new`, where it is usually redundant wit...Oli Scherer-2/+1
2022-11-08Rollup merge of #104094 - lcnr:on_unimplemented-move, r=wesleywiserDylan DPC-1/+2
2022-11-08Rollup merge of #103865 - compiler-errors:fallback-has-occurred-tracking, r=e...Dylan DPC-12/+12
2022-11-08add 'ty_error_with_guaranteed' and 'const_error_with_guaranteed'yukang-17/+20
2022-11-07Add an optional Span to BrAnon and use it to print better error for HRTB erro...Jack Huey-8/+13
2022-11-07fully move `on_unimplemented` to error reportinglcnr-1/+2
2022-11-06Auto merge of #99943 - compiler-errors:tuple-trait, r=jackh726bors-0/+28
2022-11-06fixyfixfixBoxy-5/+87
2022-11-06interpret: support for per-byte provenanceRalf Jung-1/+1
2022-11-06Move fallback_has_occurred to FnCtxtMichael Goulet-12/+12