about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/query
AgeCommit message (Expand)AuthorLines
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
2024-02-16Move trait into attr so it's greppableMichael Goulet-4/+4
2024-02-16Use extension trait deriveMichael Goulet-43/+7
2024-02-12Dejargnonize substShoyu Vanilla-2/+2
2024-02-09Rollup merge of #120354 - lukas-code:metadata-normalize, r=lcnrMatthias Krüger-1/+22
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-0/+20
2024-02-05extend docs for `predicate_must_hold_considering_regions`Lukas Markeffsky-1/+22
2024-01-23Random type checker changesMichael Goulet-34/+12
2024-01-19use implied bounds compat mode in MIR borrowcklcnr-2/+10
2024-01-17Don't use compat versions of implied bounds in ImpliedOutlivesBounds queryJack Huey-2/+2
2024-01-17Correctly handle normalization in implied boundsAli MJ Al-Nasrawy-3/+83
2024-01-16try fast path for wf type opsAli MJ Al-Nasrawy-0/+17
2024-01-16wf-check type annotations before normalizationAli MJ Al-Nasrawy-22/+32
2024-01-12Remove unused ErrorReporting variant from overflow handlingMichael Goulet-2/+0
2024-01-10Rename consuming chaining methods on `DiagnosticBuilder`.Nicholas Nethercote-0/+1
2024-01-10Add `DiagCtxt::delayed_bug`.Nicholas Nethercote-10/+6
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-16 22:28:30 +0000