about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2023-04-21Auto merge of #96840 - cjgillot:query-feed, r=oli-obkbors-276/+78
2023-04-20Derive `HashStable` on `GenericArgKind` instead of implementing it by handMaybe Waffle-29/+1
2023-04-20Use `impl Tag for $T` syntax for `impl_tag!`Maybe Waffle-1/+1
2023-04-20add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder...Kyle Matsuda-1/+13
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-9/+2
2023-04-20change usages of explicit_item_bounds to bound_explicit_item_boundsKyle Matsuda-1/+1
2023-04-20Remove WithOptconstParam.Camille GILLOT-264/+50
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-16/+32
2023-04-20Rollup merge of #110599 - WaffleLapkin:bonk_tygenericarg_transmutes, r=compil...Matthias Krüger-13/+0
2023-04-20Remove an unused `&[Ty]` <-> `&[GenericArg]`Maybe Waffle-13/+0
2023-04-20Rollup merge of #110545 - WaffleLapkin:generic_arg_as_x, r=cjgillotMatthias Krüger-35/+35
2023-04-19Auto merge of #110546 - matthiaskrgr:rollup-346kik6, r=matthiaskrgrbors-4/+4
2023-04-19Move `GenericArgKind::as_{type,const,region}` to `GenericArg`Maybe Waffle-48/+32
2023-04-19Auto merge of #110496 - WaffleLapkin:🏳️‍⚧️sound, r=compiler-errorsbors-52/+15
2023-04-19Rollup merge of #110531 - lcnr:type-system-stuff, r=aliemjayMatthias Krüger-4/+4
2023-04-19Add `GenericArgKind::as_{type,const,region}`Maybe Waffle-23/+39
2023-04-19small type system cleanuplcnr-4/+4
2023-04-19Rollup merge of #110498 - kylematsuda:earlybinder-rpitit-tys, r=compiler-errorsMatthias Krüger-7/+0
2023-04-19Remove find_map_relevant_implMichael Goulet-59/+40
2023-04-18add EarlyBinder to return type of collect_return_position_impl_trait_in_trait...Kyle Matsuda-7/+0
2023-04-18Auto merge of #110083 - saethlin:encode-hashes-as-bytes, r=cjgillotbors-6/+10
2023-04-18Don't transmute `&List<GenericArg>` <-> `&List<Ty>`Maybe Waffle-51/+14
2023-04-18Remove `as_substs` usageMaybe Waffle-1/+1
2023-04-18Store hashes in special types so they aren't accidentally encoded as numbersBen Kimock-6/+10
2023-04-18Rollup merge of #110417 - jsoref:spelling-compiler, r=NilstriebGuillaume Gomez-8/+8
2023-04-18Rollup merge of #110465 - WaffleLapkin:assure_everyone_that_has_type_flags_is...Matthias Krüger-0/+8
2023-04-17Auto merge of #110243 - WaffleLapkin:bless_tagged_pointers🙏, r=Nilstriebbors-18/+16
2023-04-17Spelling - compilerJosh Soref-8/+8
2023-04-17Assure everyone that `has_type_flags` is fastMaybe Waffle-0/+8
2023-04-17Rollup merge of #110394 - scottmcm:less-idx-new, r=WaffleLapkinMatthias Krüger-0/+10
2023-04-17Rollup merge of #110386 - nnethercote:clean-up-traversal-macros, r=lcnrMatthias Krüger-6/+7
2023-04-16Rollup merge of #110345 - nnethercote:rm-Super-impls-for-Region, r=compiler-e...fee1-dead-21/+4
2023-04-16Rollup merge of #109665 - fee1-dead-contrib:rm-remap-queries, r=oli-obkfee1-dead-20/+0
2023-04-16Various minor Idx-related tweaksScott McMurray-0/+10
2023-04-16Rollup merge of #110387 - nnethercote:rm-use-rustc_hir-as-ast, r=fee1-deadfee1-dead-7/+7
2023-04-16Don't `use rustc_hir as ast`(!)Nicholas Nethercote-7/+7
2023-04-16Simplify `CloneLiftImpls` and `TrivialTypeTraversalImpls`.Nicholas Nethercote-6/+7
2023-04-16Remove `TypeSuper{Foldable,Visitable}` impls for `Region`.Nicholas Nethercote-21/+4
2023-04-14Use `ptr::Alignment` for extra coolness pointsMaybe Waffle-4/+6
2023-04-14Rollup merge of #110299 - kylematsuda:earlybinder-impl-subject, r=compiler-er...Matthias Krüger-4/+0
2023-04-14Auto merge of #110160 - petrochenkov:notagain2, r=cjgillotbors-3/+25
2023-04-13make tcx.impl_subject return EarlyBinder, remove bound_impl_subject, rename u...Kyle Matsuda-4/+0
2023-04-13Rollup merge of #110233 - nbdd0121:intrinsic, r=tmiaskoMatthias Krüger-2/+3
2023-04-13Remove some unused type folders.Nicholas Nethercote-77/+2
2023-04-13Make `Region::as_var` infallible.Nicholas Nethercote-3/+3
2023-04-12Rollup merge of #110175 - nnethercote:symbol-cleanups, r=jackh726Matthias Krüger-5/+10
2023-04-12Rollup merge of #110153 - DaniPopes:compiler-typos, r=NilstriebMatthias Krüger-1/+1
2023-04-12Make rust-intrinsic ABI unwindableGary Guo-2/+3
2023-04-12resolve: Pre-compute non-reexport module childrenVadim Petrochenkov-3/+25