about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
2022-11-23Use ObligationCtxt::normalizeSantiago Pastorino-17/+4
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-53/+10
2022-11-23Rollup merge of #104728 - WaffleLapkin:require-lang-items-politely, r=compile...Yuki Okushi-1/+1
2022-11-22Use `tcx.require_lang_item` instead of unwrappingMaybe Waffle-1/+1
2022-11-22Auto merge of #104711 - Dylan-DPC:rollup-gkw1qr8, r=Dylan-DPCbors-43/+37
2022-11-22Rollup merge of #104701 - compiler-errors:rpitit-remove-reempty-hack, r=TaKO8KiDylan DPC-11/+1
2022-11-22Auto merge of #103578 - petrochenkov:nofict, r=nagisabors-31/+15
2022-11-22Remove a hack from compare_predicate_entailmentMichael Goulet-11/+1
2022-11-22Delay bug to deduplicate diagnosticsMichael Goulet-8/+10
2022-11-22drive-by: style nitsMichael Goulet-25/+19
2022-11-22Check generics parity between impl and trait before collecting RPITITsMichael Goulet-3/+11
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-5/+4
2022-11-21Add helper to create the trait ref for a lang itemOli Scherer-5/+5
2022-11-21Use iterators instead of slices at more sitesOli Scherer-2/+2
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-2/+2
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-8/+2
2022-11-21Unreserve braced enum variants in value namespaceVadim Petrochenkov-31/+15
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+6
2022-11-21Treat different opaque types of the same def id as equal during coherenceOli Scherer-0/+4
2022-11-21Allow opaque types in trait impl headers and rely on coherence to reject unso...Oli Scherer-53/+0
2022-11-21Auto merge of #104673 - matthiaskrgr:rollup-85f65ov, r=matthiaskrgrbors-1/+1
2022-11-21Rollup merge of #104595 - compiler-errors:poly-existential-predicate, r=lcnrMatthias Krüger-1/+1
2022-11-21Auto merge of #103491 - cjgillot:self-rpit, r=oli-obkbors-145/+225
2022-11-20Rollup merge of #104467 - fuzzypixelz:fix/attempt-to-substract-with-overflow,...Yuki Okushi-1/+2
2022-11-19Fix substraction with overflow in `wrong_number_of_generic_args.rs`Mahmoud Mazouz-1/+2
2022-11-19Rollup merge of #104593 - compiler-errors:rpitit-object-safety-spans, r=fee1-...Matthias Krüger-3/+1
2022-11-19Rollup merge of #104554 - BoxyUwU:less_unchecked_pls, r=lcnrDylan DPC-4/+8
2022-11-19Rollup merge of #104411 - lcnr:bivariance-nll, r=compiler-errorsDylan DPC-10/+6
2022-11-19drive-by: PolyExistentialPredicateMichael Goulet-1/+1
2022-11-19drive-by: Add is_async fn to hir::IsAsyncMichael Goulet-3/+1
2022-11-18require an `ErrorGuaranteed` to taint infcx with errorsBoxy-4/+8
2022-11-17Rollup merge of #104483 - oli-obk:santa-clauses-make-goals, r=compiler-errorsMatthias Krüger-20/+19
2022-11-17Rollup merge of #103852 - compiler-errors:rpitit-early-from-impl, r=lcnrMatthias Krüger-1/+7
2022-11-17Auto merge of #104170 - cjgillot:hir-def-id, r=fee1-deadbors-103/+78
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