about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/check/check.rs
AgeCommit message (Expand)AuthorLines
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
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-45/+45
2022-10-07Remove a reference from InheritedCameron Steffen-1/+1
2022-10-07Introduce TypeErrCtxtCameron Steffen-2/+2
2022-10-06Rollup merge of #98496 - BoxyUwU:instancers_bad_equality, r=lcnrMatthias Krüger-9/+5
2022-10-06reviewsBoxy-1/+0
2022-10-05Validate opaques in default trait bodies, don't normalize unless a body is pr...Michael Goulet-23/+33
2022-10-01Auto merge of #101986 - WaffleLapkin:move_lint_note_to_the_bottom, r=estebankbors-7/+11
2022-10-01Refactor rustc lint APIMaybe Waffle-7/+11
2022-09-30make query take `(LocalDefId, DefId)`Boxy-3/+2
2022-09-30make `compare_const_impl` a query and use it in `instance.rs`Boxy-5/+3
2022-09-29Shrink `hir::def::Res`.Nicholas Nethercote-3/+6
2022-09-27rustc_typeck to rustc_hir_analysislcnr-0/+1753