summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2024-08-31Rollup merge of #129812 - RalfJung:box-custom-alloc, r=compiler-errorsMatthias Krüger-1/+4
2024-08-31Rollup merge of #129659 - RalfJung:const-fn-lang-feat, r=fee1-deadMatthias Krüger-4/+1
2024-08-31const fn stability checking: also check declared language featuresRalf Jung-4/+1
2024-08-31interpret, codegen: tweak some comments and checks regarding Box with custom ...Ralf Jung-1/+4
2024-08-31Rollup merge of #129725 - compiler-errors:predicates-of, r=fmeaseMatthias Krüger-4/+2
2024-08-31Rollup merge of #129527 - compiler-errors:lint-nit, r=NadrierilMatthias Krüger-1/+1
2024-08-29Add `warn(unreachable_pub)` to `rustc_middle`.Nicholas Nethercote-1/+1
2024-08-29Stop using ty::GenericPredicates for non-predicates_of queriesMichael Goulet-4/+2
2024-08-28Auto merge of #127537 - veluca93:struct_tf, r=BoxyUwUbors-0/+1
2024-08-28coverage: `CodeRegion` is never stored in an arenaZalathar-1/+0
2024-08-28Implement RFC 3525.Luca Versari-0/+1
2024-08-27Auto merge of #128506 - compiler-errors:by-move-body, r=cjgillotbors-15/+23
2024-08-26Use unsafe extern blocks throughout the compilerMichael Goulet-1/+1
2024-08-26Stop using a special inner body for the coroutine by-move body for async clos...Michael Goulet-15/+23
2024-08-25Avoid taking reference of &TyKindMichael Goulet-2/+2
2024-08-24Don't use TyKind in lintMichael Goulet-1/+1
2024-08-24Rollup merge of #129510 - GrigorenkoPV:fix-elided-named-lifetimes, r=cjgillotMatthias Krüger-1/+1
2024-08-24Rollup merge of #129246 - BoxyUwU:feature_gate_const_arg_path, r=cjgillotMatthias Krüger-10/+22
2024-08-24Fix `elided_named_lifetimes` in codePavel Grigorenko-1/+1
2024-08-23Rollup merge of #129386 - cjgillot:local-resolved-arg, r=compiler-errorsMatthias Krüger-9/+9
2024-08-22Rollup merge of #129395 - fmease:pp-dyn-w-gat, r=compiler-errorsMatthias Krüger-1/+4
2024-08-22Pretty-print own args of existential projectionsLeón Orell Valerian Liehr-1/+4
2024-08-22Use a LocalDefId in ResolvedArg.Camille GILLOT-9/+9
2024-08-21Use bool in favor of Option<()> for diagnosticsMichael Goulet-2/+2
2024-08-19Retroactively feature gate `ConstArgKind::Path`Boxy-10/+22
2024-08-17Use cnum for extern crate dataMichael Goulet-6/+4
2024-08-16Rollup merge of #129042 - Jaic1:fix-116308, r=BoxyUwUMatthias Krüger-0/+4
2024-08-16Special-case alias ty in `try_from_lit`Jaic1-0/+4
2024-08-15Add a comment explaining the return type of `Ty::kind`.Nicholas Nethercote-0/+4
2024-08-14Rollup merge of #128828 - lcnr:search-graph-11, r=compiler-errors许杰友 Jieyou Xu (Joe)-9/+0
2024-08-14Auto merge of #129076 - matthiaskrgr:rollup-rg8mi2x, r=matthiaskrgrbors-7/+9
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