summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2023-05-25Remove ExpnKind::Inlined.Camille GILLOT-3/+1
2023-05-25Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...Michael Goulet-10/+4
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-3/+3
2023-05-22Check opaques for mismatch during writebackMichael Goulet-3/+15
2023-05-19Add extra debug assertions for equality for Adt/Variant/FieldDefMichael Goulet-2/+23
2023-05-17Finish move of query.rsJohn Kåre Alsaker-2/+0
2023-05-15Auto merge of #111221 - compiler-errors:yeet-generalizer, r=lcnrbors-0/+18
2023-05-15yeet ConstInferUnifierMichael Goulet-0/+18
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-2/+4
2023-05-12Add a convenience functionOli Scherer-0/+12
2023-05-12Require `impl Trait` in associated types to appear in method signaturesOli Scherer-1/+1
2023-05-08Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet-1/+1
2023-05-07Use smaller ints for bitflagsNilstrieb-1/+1
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-1/+1
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-0/+18
2023-05-03Rollup merge of #111146 - petrochenkov:decident, r=compiler-errorsManish Goregaokar-4/+3
2023-05-03rustc_middle: Fix `opt_item_ident` for non-local def idsVadim Petrochenkov-4/+3
2023-05-02resolve: One more attempt to simplify `module_children`Vadim Petrochenkov-2/+1
2023-04-26Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber...Maybe Waffle-0/+18
2023-04-26Remove QueryEngine traitJohn Kåre Alsaker-2/+1
2023-04-25Rollup merge of #110671 - compiler-errors:polarity, r=lcnrMatthias Krüger-0/+5
2023-04-25Rollup merge of #110615 - WaffleLapkin:impl_tag, r=cjgillotMatthias Krüger-23/+6
2023-04-24Consider polarity in new solverMichael Goulet-0/+5
2023-04-24Switch `impl_tag!` from explicit tags to `${index()}`Maybe Waffle-4/+4
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-20Use `impl Tag for $T` syntax for `impl_tag!`Maybe Waffle-1/+1
2023-04-20Remove WithOptconstParam.Camille GILLOT-130/+4
2023-04-20Add `impl_tag!` macro to implement `Tag` for tagged pointer easilyMaybe Waffle-23/+6
2023-04-20Feed type_of query instead of using WithOptconstParam.Camille GILLOT-10/+4
2023-04-17Auto merge of #110243 - WaffleLapkin:bless_tagged_pointers🙏, r=Nilstriebbors-1/+3
2023-04-17Rollup merge of #110394 - scottmcm:less-idx-new, r=WaffleLapkinMatthias Krüger-0/+10
2023-04-16Rollup merge of #109665 - fee1-dead-contrib:rm-remap-queries, r=oli-obkfee1-dead-6/+0
2023-04-16Various minor Idx-related tweaksScott McMurray-0/+10
2023-04-14Use `ptr::Alignment` for extra coolness pointsMaybe Waffle-1/+3
2023-04-12resolve: Pre-compute non-reexport module childrenVadim Petrochenkov-1/+2
2023-04-08Remove `remap_env_constness` in queriesDeadbeef-6/+0
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-3/+3
2023-03-30Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>`Scott McMurray-8/+7
2023-03-29Support TLS access into dylibs on WindowsJohn Kåre Alsaker-0/+1
2023-03-27Some tracing/instrument cleanupsOli Scherer-21/+2
2023-03-27Add a builtin `FnPtr` traitlcnr-8/+8
2023-03-26transmute testMichael Goulet-2/+2
2023-03-23Refine error spans for const args in hir typeckMichael Goulet-0/+15
2023-03-23Rollup merge of #109462 - compiler-errors:alias-relate, r=BoxyUwU,lcnrMatthias Krüger-7/+23
2023-03-23Remove AliasRelationDirection::SupertypeMichael Goulet-12/+0
2023-03-23Printing alias-relate goals correctlyMichael Goulet-0/+10
2023-03-23Rename AliasEq -> AliasRelateMichael Goulet-5/+5
2023-03-23Include relation direction in AliasEq predicateMichael Goulet-3/+21
2023-03-22`HirId` to `LocalDefId` cleanuplcnr-1/+1
2023-03-22Auto merge of #109119 - lcnr:trait-system-cleanup, r=compiler-errorsbors-0/+14