about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2024-08-14Rollup merge of #129061 - compiler-errors:lang-item, r=UrgauMatthias Krüger-7/+9
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-38/+44
2024-08-13Use is_lang_item moreMichael Goulet-7/+9
2024-08-13Auto merge of #128742 - RalfJung:miri-vtable-uniqueness, r=saethlinbors-5/+10
2024-08-12Rollup merge of #128912 - compiler-errors:do-not-recommend-impl, r=lcnrMatthias Krüger-0/+7
2024-08-12Rollup merge of #128712 - compiler-errors:normalize-borrowck, r=lcnrMatthias Krüger-18/+12
2024-08-12Rollup merge of #128978 - compiler-errors:assert-matches, r=jieyouxuGuillaume Gomez-4/+6
2024-08-12do not use the global solver cache for proof treeslcnr-9/+0
2024-08-12Streamline some inputs/output traversals.Nicholas Nethercote-6/+3
2024-08-12Avoid a `FnPtr` deconstruct-and-recreate.Nicholas Nethercote-4/+5
2024-08-11Remove struct_tail_no_normalizationMichael Goulet-8/+0
2024-08-11Rename normalization functions to rawMichael Goulet-11/+13
2024-08-11Use assert_matches around the compilerMichael Goulet-4/+6
2024-08-10Rollup merge of #128910 - estebank:assoc-fn, r=compiler-errorsGuillaume Gomez-0/+9
2024-08-10Auto merge of #128740 - compiler-errors:generic-preds, r=estebankbors-6/+6
2024-08-09Store do_not_recommend-ness in impl headerMichael Goulet-0/+7
2024-08-10Differentiate between methods and associated functionsEsteban Küber-0/+9
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-33/+38
2024-08-09Split `split_inputs_and_output` in two.Nicholas Nethercote-3/+6
2024-08-08Rename struct_tail_erasing_lifetimes to struct_tail_for_codegenMichael Goulet-11/+7
2024-08-06miri: make vtable addresses not globally uniqueRalf Jung-5/+10
2024-08-06Stop unnecessarily taking GenericPredicates by &selfMichael Goulet-6/+6
2024-08-01interpret: simplify pointer arithmetic logicRalf Jung-3/+3
2024-07-29Reformat `use` declarations.Nicholas Nethercote-294/+287
2024-07-26Auto merge of #128165 - saethlin:optimize-clone-shims, r=compiler-errorsbors-3/+3
2024-07-25Let InstCombine remove Clone shims inside Clone shimsBen Kimock-3/+3
2024-07-24Rollup merge of #127717 - gurry:127441-stray-impl-sugg, r=compiler-errorsMatthias Krüger-20/+49
2024-07-24Do not try to reveal hidden types when trying to prove Freeze in the defining...Oli Scherer-1/+1
2024-07-21Auto merge of #120812 - compiler-errors:impl-sorting, r=lcnrbors-9/+37
2024-07-19Avoid ref when using format! in compilerYuri Astrakhan-1/+1
2024-07-19Auto merge of #125915 - camelid:const-arg-refactor, r=BoxyUwUbors-43/+89
2024-07-18Move query providersMichael Goulet-6/+35
2024-07-18Avoid unnecessary sorting of traitsMichael Goulet-3/+2
2024-07-18const_to_pat: cleanup leftovers from when we had to deal with non-structural ...Ralf Jung-14/+38
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-2/+1
2024-07-18Rollup merge of #127810 - compiler-errors:less-tcx, r=lcnrMatthias Krüger-9/+9
2024-07-18Rollup merge of #127783 - compiler-errors:rtn-pretty, r=fee1-deadMatthias Krüger-2/+5
2024-07-17Put the dots backMichael Goulet-2/+5
2024-07-17Fix relationsMichael Goulet-2/+2
2024-07-17lift_to_tcx -> lift_to_internerMichael Goulet-7/+7
2024-07-17Remove invalid further restricting for type boundyukang-0/+14
2024-07-16Add `ConstArgKind::Path` and make `ConstArg` its own HIR nodeNoah Lev-11/+12
2024-07-16Use `ConstArg` for const param defaultsNoah Lev-4/+4
2024-07-16Setup ty::Const functions for `ConstArg`Noah Lev-37/+82
2024-07-16Rollup merge of #127808 - oli-obk:tainting_visitors2, r=lcnr,nnethercoteMatthias Krüger-8/+17
2024-07-16Rollup merge of #127730 - compiler-errors:ed-2024-unsafe, r=petrochenkovMatthias Krüger-1/+1
2024-07-16Remove an unnecessary implOli Scherer-6/+0
2024-07-16Make `ErrorGuaranteed` discoverable outside types, consts, and lifetimesOli Scherer-2/+17
2024-07-16Fix unsafe_op_in_unsafe_fn in compilerMichael Goulet-1/+1
2024-07-16Auto merge of #127638 - adwinwhite:cache_string, r=oli-obkbors-2/+3