summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits
AgeCommit message (Expand)AuthorLines
2024-11-14Only disable cache if predicate has opaques within itMichael Goulet-21/+45
2024-10-10Rollup merge of #131475 - fmease:compiler-mv-obj-safe-dyn-compat-2, r=jieyouxuMatthias Krüger-16/+12
2024-10-10impossible obligations check fast pathlcnr-1/+12
2024-10-10Rename feature object_safe_for_dispatch to dyn_compatible_for_dispatchLeón Orell Valerian Liehr-5/+5
2024-10-10Compiler: Replace remaining occurrences of "object safe" with "dyn compatible"León Orell Valerian Liehr-12/+8
2024-09-30Also fix first_method_vtable_slotMichael Goulet-13/+12
2024-09-30Extract trait_refs_are_compatible, make it instantiate bindersMichael Goulet-28/+64
2024-09-30Instantiate binders in supertrait_vtable_slotMichael Goulet-10/+30
2024-09-28Rollup merge of #130866 - compiler-errors:dyn-instantiate-binder, r=lcnrMatthias Krüger-20/+73
2024-09-27Get rid of a_is_expected from ToTraceMichael Goulet-3/+0
2024-09-27Instantiate binders when checking supertrait upcastingMichael Goulet-20/+76
2024-09-26Check allow instantiating object trait binder when upcasting and in new solverMichael Goulet-3/+3
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-62/+58
2024-09-23Rollup merge of #130714 - compiler-errors:try-structurally-resolve-const, r=B...Matthias Krüger-0/+40
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-212/+171
2024-09-22Introduce structurally_normalize_const, use it in hir_typeckMichael Goulet-0/+40
2024-09-19skip normalizing param env if it is already normalizedLukas Markeffsky-0/+3
2024-09-13Rename and reorder lots of lifetimes.Nicholas Nethercote-17/+17
2024-09-12Auto merge of #130269 - Zalathar:rollup-coxzt2t, r=Zalatharbors-32/+25
2024-09-12Rollup merge of #130250 - compiler-errors:useless-conversion, r=jieyouxuStuart Cook-2/+2
2024-09-11Revert 'Stabilize -Znext-solver=coherence'Michael Goulet-1/+3
2024-09-11clippy::useless_conversionMichael Goulet-2/+2
2024-09-11Also fix if in elseMichael Goulet-6/+4
2024-09-11Simplify some nested if statementsMichael Goulet-24/+19
2024-09-06Auto merge of #128776 - Bryanskiy:deep-reject-ctxt, r=lcnrbors-8/+22
2024-09-05stabilize `-Znext-solver=coherence`lcnr-3/+1
2024-09-03do not attempt to prove unknowable goalslcnr-72/+66
2024-09-03Auto merge of #129777 - nnethercote:unreachable_pub-4, r=Urgaubors-16/+16
2024-09-03Add `warn(unreachable_pub)` to `rustc_trait_selection`.Nicholas Nethercote-16/+16
2024-09-02Rollup merge of #129878 - Sajjon:sajjon_fix_typos_batch_3, r=jieyouxuMatthias Krüger-3/+3
2024-09-02Use `DeepRejectCtxt` to quickly reject `ParamEnv` candidatesBryanskiy-8/+22
2024-09-02chore: Fix typos in 'compiler' (batch 3)Alexander Cyon-3/+3
2024-09-01Revert "Auto merge of #127537 - veluca93:struct_tf, r=BoxyUwU"Jakub Beránek-2/+0
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