summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2024-08-31Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxuMatthias Krüger-0/+23
2024-08-31Rollup merge of #129725 - compiler-errors:predicates-of, r=fmeaseMatthias Krüger-16/+11
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+23
2024-08-29Stop using ty::GenericPredicates for non-predicates_of queriesMichael Goulet-16/+11
2024-08-28Implement RFC 3525.Luca Versari-0/+2
2024-08-21Simplify some redundant field namesMichael Goulet-1/+1
2024-08-19Rollup merge of #129217 - jswrenn:transmute-lifetimes, r=compiler-errorsMatthias Krüger-73/+103
2024-08-18safe transmute: forbid reference lifetime extensionJack Wrenn-73/+103
2024-08-18Fix order of normalization and recursion in const folding.Luca Versari-4/+4
2024-08-15Rollup merge of #129078 - lcnr:scrape_region_constraints-use-ocx, r=compiler-...Jubilee-35/+3
2024-08-15Rollup merge of #129106 - compiler-errors:unused-type-ops, r=jieyouxuMatthias Krüger-65/+0
2024-08-14Remove redundant type opsMichael Goulet-65/+0
2024-08-14if we have an `ocx`, use itlcnr-35/+3
2024-08-14Auto merge of #129076 - matthiaskrgr:rollup-rg8mi2x, r=matthiaskrgrbors-2/+2
2024-08-14Rollup merge of #129061 - compiler-errors:lang-item, r=UrgauMatthias Krüger-2/+2
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-16/+16
2024-08-13Use is_lang_item moreMichael Goulet-2/+2
2024-08-12Rollup merge of #128712 - compiler-errors:normalize-borrowck, r=lcnrMatthias Krüger-3/+3
2024-08-12Rollup merge of #128978 - compiler-errors:assert-matches, r=jieyouxuGuillaume Gomez-1/+3
2024-08-11Remove struct_tail_no_normalizationMichael Goulet-2/+2
2024-08-11Rename normalization functions to rawMichael Goulet-1/+1
2024-08-11Use assert_matches around the compilerMichael Goulet-1/+3
2024-08-10Auto merge of #128746 - compiler-errors:cache-super-outlives, r=lcnrbors-26/+16
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-16/+16
2024-08-08Don't implement AsyncFn for FnDef/FnPtr that wouldnt implement FnMichael Goulet-2/+14
2024-08-06Cache supertrait outlives of impl header for soundness checkMichael Goulet-26/+16
2024-08-05Auto merge of #128689 - matthiaskrgr:rollup-ukyn8wq, r=matthiaskrgrbors-1/+1
2024-08-05Don't re-elaborated already elaborated caller bounds in method probeMichael Goulet-1/+1
2024-08-05Elaborate supertraits in dyn candidatesMichael Goulet-0/+1
2024-08-05Enforce supertrait outlives obligations hold when confirming implMichael Goulet-2/+32
2024-07-31Add special-case for [T, 0] in dropckBryanskiy-2/+9
2024-07-29Reformat `use` declarations.Nicholas Nethercote-266/+240
2024-07-26Make coroutine-closures possible to be clonedMichael Goulet-2/+15
2024-07-26Rollup merge of #126090 - compiler-errors:supertrait-assoc-ty-unsoundness, r=...Matthias Krüger-114/+194
2024-07-25Rollup merge of #128160 - compiler-errors:auto, r=jackh726Matthias Krüger-0/+6
2024-07-24Don't ICE when auto trait has assoc ty in old solverMichael Goulet-0/+6
2024-07-24Do not assemble candidates for auto traits of opaque types in their defining ...Oli Scherer-1/+6
2024-07-24Do not try to reveal hidden types when trying to prove Freeze in the defining...Oli Scherer-7/+11
2024-07-24Don't use global caches if opaques can be definedOli Scherer-1/+7
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-6/+6
2024-07-21Auto merge of #127722 - BoxyUwU:new_adt_const_params_limitations, r=compiler-...bors-24/+87
2024-07-19Rollup merge of #127856 - RalfJung:interpret-cast-sanity, r=oli-obkMatthias Krüger-8/+12
2024-07-19Auto merge of #125915 - camelid:const-arg-refactor, r=BoxyUwUbors-2/+14
2024-07-18Remove tag field from relationsMichael Goulet-8/+4
2024-07-18const_to_pat: cleanup leftovers from when we had to deal with non-structural ...Ralf Jung-175/+0
2024-07-18valtree construction: keep track of which type was valtree-incompatibleRalf Jung-2/+2
2024-07-18interpret: add sanity check in dyn upcast to double-check what codegen doesRalf Jung-8/+12
2024-07-17Fix relationsMichael Goulet-2/+2
2024-07-17Split part of `adt_const_params` into `unsized_const_params`Boxy-33/+23
2024-07-17Forbid `!Sized` types and referencesBoxy-22/+95