summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/check.rs
AgeCommit message (Expand)AuthorLines
2023-01-21Label closure captures/generator locals that make opaque types recursiveMichael Goulet-6/+53
2023-01-20Auto merge of #106090 - WaffleLapkin:dereffffffffff, r=Nilstriebbors-8/+6
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-3/+3
2023-01-17`rustc_hir_analysis`: remove `ref` patternsMaybe Waffle-8/+6
2023-01-14fix various subst_identity vs skip_binderKyle Matsuda-1/+1
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-1/+1
2023-01-14change usages of impl_trait_ref to bound_impl_trait_refKyle Matsuda-2/+2
2023-01-10Rollup merge of #106204 - compiler-errors:no-take-opaques-in-compare, r=oli-obkYuki Okushi-1/+1
2023-01-09Assert defining anchor is set in take_opaque_typesMichael Goulet-1/+1
2023-01-03Move check_region_obligations_and_report_errors to TypeErrCtxtMichael Goulet-1/+1
2022-12-28Auto merge of #106129 - compiler-errors:compare_method-tweaks, r=BoxyUwUbors-5/+5
2022-12-28Rename module compare_method -> compare_impl_itemMichael Goulet-2/+2
2022-12-27Emit fewer errors on invalid `#[repr(transparent)]` on `enum`Esteban Küber-4/+2
2022-12-24Bubble up ErrorGuaranteed from region constraints in method item compareMichael Goulet-1/+1
2022-12-24Rename some compare_method functionsMichael Goulet-3/+3
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-7/+7
2022-12-18remove redundant fn params that were only "used" in recursionMatthias Krüger-4/+3
2022-12-14Prevent the creation of `TraitRef` without dedicated methodsOli Scherer-1/+1
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-13Combine projection and opaque into aliasMichael Goulet-1/+1
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
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-11-21Unreserve braced enum variants in value namespaceVadim Petrochenkov-1/+1
2022-11-21Auto merge of #103491 - cjgillot:self-rpit, r=oli-obkbors-50/+41
2022-11-19Rollup merge of #104411 - lcnr:bivariance-nll, r=compiler-errorsDylan DPC-2/+2
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-6/+3
2022-11-15use `ocx` type relation routineslcnr-2/+2
2022-11-14Deduplicate visitor.Camille GILLOT-96/+19
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-08Rollup merge of #104094 - lcnr:on_unimplemented-move, r=wesleywiserDylan DPC-1/+2
2022-11-07fully move `on_unimplemented` to error reportinglcnr-1/+2
2022-11-06Move fallback_has_occurred to FnCtxtMichael Goulet-1/+1
2022-10-31Use AdtDef to check enum.Camille GILLOT-59/+62
2022-10-29Rollup merge of #103625 - WaffleLapkin:no_tyctxt_dogs_allowed, r=compiler-errorsGuillaume Gomez-1/+1
2022-10-29Rename some `OwnerId` fields.Nicholas Nethercote-29/+29
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-1/+1
2022-10-22Stabilize arbitrary_enum_discriminant, take 2Deadbeef-1/+1
2022-10-20rustc_hir_typeck: fix paths and partially mv fileslcnr-311/+1
2022-10-13replace ReErased with fresh region vars in opaque typesAli MJ Al-Nasrawy-5/+15
2022-10-12Auto merge of #101679 - compiler-errors:rpitit-default-body, r=nikomatsakisbors-23/+33
2022-10-12Rollup merge of #102890 - camsteffen:adt-sized-representability, r=cjgillotDylan DPC-3/+0
2022-10-10Check representability in adt_sized_constraintCameron Steffen-3/+0
2022-10-10Fix compiler docsGuillaume Gomez-1/+3
2022-10-10Rollup merge of #102829 - compiler-errors:rename-impl-item-kind, r=TaKO8KiYuki Okushi-1/+1
2022-10-09ImplItemKind::TyAlias => ImplItemKind::TypeMichael Goulet-1/+1
2022-10-08Auto merge of #100720 - camsteffen:representable, r=cjgillotbors-25/+3
2022-10-07Rewrite representabilityCameron Steffen-25/+3