summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/util.rs
AgeCommit message (Expand)AuthorLines
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
2022-05-10Introduce EarlyBinderJack Huey-2/+3
2022-05-10only_local: always check for misuselcnr-3/+2
2022-05-07Auto merge of #96094 - Elliot-Roberts:fix_doctests, r=compiler-errorsbors-1/+1
2022-05-02fix most compiler/ doctestsElliot Roberts-1/+1
2022-05-02rustc: Panic by default in `DefIdTree::parent`Vadim Petrochenkov-5/+3
2022-04-27combine all unsized types and add another recursive call to process nested un...b-naber-1/+1
2022-04-26add hacky closure to struct_tail_with_normalize in order to allow us to walk ...b-naber-3/+11
2022-04-12Remove NodeIdHashingMode.Camille GILLOT-6/+1
2022-04-08Avoid looking at the internals of Interned directlyOli Scherer-23/+20
2022-04-07Document and rename the new wrapper typeOli Scherer-2/+4
2022-03-31Move stable hash from TyS into a datastructure that can be shared with other ...Oli Scherer-2/+2
2022-03-29Remember mutability in `DefKind::Static`.Camille GILLOT-1/+8
2022-03-16resolve the conflict in compiler/rustc_session/src/parse.rscodehorseman-1/+1
2022-03-12Queryify `is_doc_hidden`Noah Lev-2/+10
2022-03-12Auto merge of #94733 - nnethercote:fix-AdtDef-interning, r=fee1-deadbors-4/+4
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-4/+4
2022-03-10short-circuit the easy cases in `is_copy_modulo_regions`Scott McMurray-1/+1
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-2/+2
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-8/+8
2022-02-16extract Res to `generics_of` def_id conversionlcnr-1/+32
2022-02-15Overhaul `Const`.Nicholas Nethercote-9/+11
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-3/+4