about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
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
2023-03-21IdentitySubsts::identity_for_item takes Into<DefId>Michael Goulet-1/+1
2023-03-21Use local key in providersMichael Goulet-4/+10
2023-03-21remove some trait solver helperslcnr-0/+14
2023-03-20Update some names and commentsMichael Goulet-1/+3
2023-03-15ImplTraitPlaceholder -> is_impl_trait_in_traitSantiago Pastorino-0/+4
2023-03-15Make impl_trait_in_trait_container consider newly generated RPITITsSantiago Pastorino-4/+10
2023-03-15Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fnSantiago Pastorino-1/+1
2023-03-13Don't opt_rpitit_info as a separate queryMichael Goulet-1/+14
2023-03-11Rollup merge of #108806 - cjgillot:query-lints, r=davidtwcoMatthias Krüger-3/+6
2023-03-09Emit alias-eq when equating numeric var and projectionMichael Goulet-1/+1
2023-03-06Querify early_lint_checks.Camille GILLOT-0/+5
2023-03-06Querify registered_tools.Camille GILLOT-3/+1
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-17/+13
2023-03-03Match unmatched backticks in comments in compiler/est31-1/+1
2023-03-03Match unmatched backticks in compiler/ that are part of rustdocest31-1/+1
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-17/+13
2023-03-01Add opt_rpitit_info querySantiago Pastorino-0/+6
2023-02-28Descriptive error when users try to combine RPITIT/AFIT with specializationMichael Goulet-0/+28
2023-02-27Auto merge of #108487 - cjgillot:no-typeck-mir, r=oli-obkbors-1/+1
2023-02-27Rollup merge of #108363 - cjgillot:unused-crate, r=WaffleLapkinMatthias Krüger-4/+0
2023-02-26Wrap more into into closure_typeinfo query.Camille GILLOT-1/+1
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-02-22Use ty_error_with_guaranteed in many more placesMichael Goulet-2/+3
2023-02-22Remove some resolver outputs.Camille GILLOT-4/+0
2023-02-22Remove type-traversal trait aliasesAlan Egerton-14/+13
2023-02-20Run the resolver after TyCtxt constructionOli Scherer-2/+0
2023-02-19Auto merge of #108128 - clubby789:builtin-derived-attr, r=jackh726bors-3/+18
2023-02-17Auto merge of #108075 - WaffleLapkin:de-arena-allocates-you-OwO, r=Nilstriebbors-1/+1
2023-02-17Add `Clause::ConstArgHasType` variantBoxy-0/+8
2023-02-16remove bound_type_of query; make type_of return EarlyBinder; change type_of i...Kyle Matsuda-1/+1
2023-02-16Properly check for builtin derivesclubby789-3/+18
2023-02-15Copy `ty::AssocItem` all other the placeMaybe Waffle-1/+1
2023-02-15Auto merge of #108006 - cjgillot:def-impl, r=oli-obkbors-1/+1
2023-02-14Add `of_trait` to DefKind::Impl.Camille GILLOT-1/+1
2023-02-14add a `#[rustc_coinductive]` attributelcnr-4/+6
2023-02-14Auto merge of #107765 - petrochenkov:nomoclone, r=oli-obkbors-0/+1
2023-02-13Make folding traits generic over the InternerAlan Egerton-2/+2