summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/query
AgeCommit message (Expand)AuthorLines
2025-02-11Make DeeplyNormalize a real type opMichael Goulet-3/+55
2025-01-31Manually walk into WF obligations in BestObligation proof tree visitorMichael Goulet-2/+4
2025-01-29Auto merge of #136011 - compiler-errors:query-norm-vaniquishes-us, r=jackh726bors-14/+10
2025-01-25Pass spans to perform_locally_in_new_solverMichael Goulet-15/+26
2025-01-24Revert "Rollup merge of #135914 - compiler-errors:vanquish-query-norm, r=jack...Michael Goulet-14/+10
2025-01-23Remove query normalize from dropck outlives type opMichael Goulet-10/+14
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-1/+7
2024-12-20remove non-borrowck member constraintslcnr-5/+2
2024-12-14(Re-)Implement impl_trait_in_bindingsMichael Goulet-0/+6
2024-12-14Split UserTypeAnnotation to have a kindMichael Goulet-4/+4
2024-12-02Assert that obligations are empty before deeply normalizingMichael Goulet-0/+3
2024-12-02Deeply normalize when computing implied outlives boundsMichael Goulet-3/+4
2024-11-28support revealing defined opaque post borrowcklcnr-3/+3
2024-11-23no more Reveal :(lcnr-5/+5
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-8/+15
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-1/+1
2024-10-31normalization folders, yeet `ParamEnv::reveal`lcnr-9/+11
2024-10-29TypingMode :thinking:lcnr-1/+0
2024-10-27Remove ObligationCause::span() methodMichael Goulet-1/+1
2024-10-24Implement const effect predicate in new solverMichael Goulet-0/+2
2024-10-19Rename normalize to normalize_internal, remove unnecessary usagesMichael Goulet-1/+1
2024-10-17move `defining_opaque_types` out of `Canonical`lcnr-20/+20
2024-10-17`DropckOutlives` to `rustc_middle`lcnr-26/+8
2024-10-17`ImpliedOutlivesBounds` to `rustc_middle`lcnr-14/+1
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-9/+11
2024-09-25Compiler: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-2/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-18/+18
2024-09-13Rename and reorder lots of lifetimes.Nicholas Nethercote-5/+5
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_trait_selection`.Nicholas Nethercote-0/+5
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-13Use is_lang_item moreMichael Goulet-2/+2
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-2/+2
2024-07-31Add special-case for [T, 0] in dropckBryanskiy-2/+9
2024-07-29Reformat `use` declarations.Nicholas Nethercote-50/+54
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-09Split out overflow handling into its own moduleMichael Goulet-1/+1
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-2/+2
2024-07-06Import via rustc_type_ir::outlivesMichael Goulet-1/+1
2024-07-06Uplift push_outlives_componentsMichael Goulet-1/+1
2024-06-21Rename a bunch of thingsMichael Goulet-6/+6
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-1/+1
2024-06-11Get rid of PredicateObligationsMichael Goulet-2/+2
2024-06-03Nits and formattingMichael Goulet-7/+3
2024-06-03Add cycle errors to ScrubbedTraitError to remove a couple more calls to new_w...Michael Goulet-2/+2
2024-06-03Use ScrubbedTraitError in more placesMichael Goulet-7/+5
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 09:13:19 +0000