summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/util.rs
AgeCommit message (Expand)AuthorLines
2023-01-17change item_bounds query to return EarlyBinder; remove bound_item_bounds queryKyle Matsuda-7/+0
2023-01-15Remove bound_{explicit,}_item_boundsMichael Goulet-14/+0
2023-01-14change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re...Kyle Matsuda-7/+0
2023-01-14change const_param_default query to return EarlyBinder; remove bound_const_pa...Kyle Matsuda-4/+0
2022-12-28better names and a commentMichael Goulet-2/+2
2022-12-20rustc: Remove needless lifetimesJeremy Stucki-1/+1
2022-12-19Auto merge of #103600 - compiler-errors:early-binder-nits, r=spastorinobors-0/+7
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-1/+1
2022-12-13Combine identical alias armsMichael Goulet-19/+11
2022-12-13Combine projection and opaque into aliasMichael Goulet-14/+14
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-1/+1
2022-12-13Use ty::OpaqueTy everywhereMichael Goulet-1/+1
2022-12-13Remove instantiate_type_schemeMichael Goulet-3/+3
2022-12-13EarlyBinder nitsMichael Goulet-2/+9
2022-12-07Move closure/generator type info methods to TyCtxtMichael Goulet-0/+76
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-5/+5
2022-11-25Rename normalize_opaque_types to reveal_opaque_types_in_boundsMichael Goulet-3/+3
2022-11-24move some layout logic to rustc_target::abi::layouthkalbasi-17/+6
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-13/+8
2022-10-14more dupe word typosRageking8-1/+1
2022-09-27rustdoc: Queryify `is_notable_trait`Noah Lev-2/+14
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-1/+1
2022-09-10split compare_predicate_entailment and collect_trait_impl_trait_tys outMichael Goulet-1/+1
2022-09-09Deeply check that method signatures match, and allow for nested RPITITsMichael Goulet-0/+7
2022-09-01tracing::instrument cleanupOli Scherer-2/+1
2022-08-03Add bound_impl_subject and bound_return_tyJack Huey-0/+4
2022-08-02Add bound_predicates_of and bound_explicit_predicates_ofJack Huey-0/+14
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-1/+1
2022-07-12Rollup merge of #99038 - jackh726:earlybinder-cleanup, r=lcnrDylan DPC-0/+4
2022-07-09Auto merge of #99028 - tmiasko:inline, r=estebankbors-0/+1
2022-07-07Add bound_const_param_defaultJack Huey-0/+4
2022-07-07Miscellaneous inlining improvementsTomasz Miąsko-0/+1
2022-07-06Allow to create definitions inside the query system.Camille GILLOT-5/+5
2022-07-06Update TypeVisitor pathsAlan Egerton-0/+1
2022-06-19Auto merge of #98247 - jackh726:regionkind-rustc-type-ir, r=compiler-errorsbors-1/+1
2022-06-19Move RegionKind to rustc_type_irJack Huey-1/+1
2022-06-15Rename `impl_constness` to `constness`Deadbeef-1/+1
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-3/+3
2022-06-08Folding revamp.Nicholas Nethercote-2/+3
2022-05-20`bool` to custom enumlcnr-9/+14
2022-05-20move unique param check into `rustc_middle`lcnr-32/+87
2022-05-18Auto merge of #97019 - b-naber:transition-to-valtrees-pt1, r=oli-obkbors-5/+7
2022-05-17Auto merge of #97012 - oli-obk:🦀_intrinsics, r=davidtwcobors-1/+8
2022-05-16use GlobalId in eval_to_valtree query and introduce query for valtree_to_cons...b-naber-5/+7
2022-05-16Add a query for checking whether a function is an intrinsic.Oli Scherer-1/+8
2022-05-14Auto merge of #96883 - jackh726:early-binder-2, r=oli-obkbors-2/+29
2022-05-14Add bound_explicit_item_bounds and bound_item_boundsJack Huey-0/+14
2022-05-13Add bound_impl_trait_refJack Huey-0/+4
2022-05-13Add bound_fn_sigJack Huey-0/+4
2022-05-13Add bound_type_ofJack Huey-2/+6