about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check
AgeCommit message (Expand)AuthorLines
2022-12-07Auto merge of #104799 - pcc:linkage-fn, r=tmiaskobors-1/+34
2022-12-05On E0195 point at where clause lifetime boundsEsteban Küber-11/+40
2022-12-05Support Option and similar enums as type of static variable with linkage attr...Peter Collingbourne-1/+20
2022-12-05Move linkage type check to HIR analysis and fix semantics issues.Peter Collingbourne-0/+14
2022-12-04Auto merge of #105261 - matthiaskrgr:rollup-9ghhc9c, r=matthiaskrgrbors-17/+16
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-02Check lifetime param count in collect_trait_impl_trait_tysMichael Goulet-21/+18
2022-11-28Make ObligationCtxt::normalize take cause by borrowMichael Goulet-11/+11
2022-11-28FnCtxt normalization stuffMichael Goulet-0/+2
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-3/+4
2022-11-25Introduce PredicateKind::ClauseSantiago Pastorino-19/+31
2022-11-25Simplify a bunch of trait ref obligation creationsOli Scherer-1/+1
2022-11-23Use ObligationCtxt::normalizeSantiago Pastorino-17/+4
2022-11-22Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnrManish Goregaokar-0/+8
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-1/+1
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-1/+1
2022-11-21Add helper to create the trait ref for a lang itemOli Scherer-1/+1
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-1/+1
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-4/+1
2022-11-21Unreserve braced enum variants in value namespaceVadim Petrochenkov-1/+1
2022-11-21Add an always-ambiguous predicate to make sure that we don't accidentlally al...Oli Scherer-0/+4
2022-11-21Treat different opaque types of the same def id as equal during coherenceOli Scherer-0/+4
2022-11-21Auto merge of #103491 - cjgillot:self-rpit, r=oli-obkbors-63/+57
2022-11-19Rollup merge of #104593 - compiler-errors:rpitit-object-safety-spans, r=fee1-...Matthias Krüger-3/+1
2022-11-19Rollup merge of #104411 - lcnr:bivariance-nll, r=compiler-errorsDylan DPC-10/+6
2022-11-19drive-by: Add is_async fn to hir::IsAsyncMichael Goulet-3/+1
2022-11-17Rollup merge of #104483 - oli-obk:santa-clauses-make-goals, r=compiler-errorsMatthias Krüger-17/+16
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-1/+1
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-17/+16
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-14Deduplicate visitor.Camille GILLOT-96/+19
2022-11-13Store a LocalDefId in hir::GenericParam.Camille GILLOT-1/+1
2022-11-13Create bidirectional bounds between original and duplicated parameters.Camille GILLOT-13/+16
2022-11-12Make impl_trait_projections a feature gate.Camille GILLOT-8/+11
2022-11-12Inherit generics for impl-trait.Camille GILLOT-14/+79
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-1/+1
2022-11-11Tweak signatures in rustc_middle::hir::map.Camille GILLOT-1/+1