summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/query
AgeCommit message (Expand)AuthorLines
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
2024-06-03Make TraitEngines generic over errorMichael Goulet-3/+8
2024-05-21Uplift OutlivesPredicate, remove a bunch of unnecessary associated types from...Michael Goulet-2/+1
2024-05-13Auto merge of #125076 - compiler-errors:alias-term, r=lcnrbors-1/+1
2024-05-13split out AliasTy -> AliasTermMichael Goulet-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_trait_selection`.Nicholas Nethercote-0/+1
2024-05-10Lift `Lift`Michael Goulet-1/+3
2024-05-02Use ObligationCtxt in favor of TraitEngine in many placesMichael Goulet-15/+17
2024-04-29Remove `extern crate rustc_macros` from numerous crates.Nicholas Nethercote-0/+4
2024-04-08Auto merge of #122077 - oli-obk:eager_opaque_checks4, r=lcnrbors-43/+60
2024-04-08Scrape extraneous regions from instantiate_nll_query_response_and_region_obli...Oli Scherer-43/+60
2024-04-08Actually create ranged int types in the type system.Oli Scherer-3/+3
2024-04-04Rename HAS_PROJECTIONS to HAS_ALIASES etc.León Orell Valerian Liehr-1/+1
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-1/+1
2024-03-14use a let chainLukas Markeffsky-7/+4
2024-03-05Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult`Jason Newcomb-14/+5
2024-02-22Auto merge of #119989 - lcnr:sub_relations-bye-bye, r=compiler-errorsbors-1/+6
2024-02-22Rollup merge of #121386 - oli-obk:no_higher_ranked_opaques, r=lcnrMatthias Krüger-2/+4
2024-02-22overflow errors: change source to a concrete enumlcnr-1/+6
2024-02-22Preserve the `Span` from `prove_predicate` all the way to registering opaque ...Oli Scherer-2/+4
2024-02-21Rollup merge of #121208 - nnethercote:delayed_bug-to-bug, r=lcnrDylan DPC-4/+3
2024-02-21Convert `bug`s back to `delayed_bug`s.Nicholas Nethercote-1/+1
2024-02-21Convert `delayed_bug`s to `bug`s.Nicholas Nethercote-5/+4
2024-02-20Rename some normalization-related itemsLeón Orell Valerian Liehr-8/+8
2024-02-19split `project` into multiple fileslcnr-2/+3
2024-02-16NitsMichael Goulet-0/+6