about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/canonical/query_response.rs
AgeCommit message (Expand)AuthorLines
2025-10-02Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnrbors-9/+9
2025-09-30Split Bound into Canonical and Boundjackh726-9/+9
2025-09-26reviewlcnr-7/+4
2025-09-26allow method calls on opaqueslcnr-1/+22
2025-09-08optimize `CanonicalVarValues::instantiate`lcnr-13/+11
2025-09-08pass `sub_relations` into canonical querieslcnr-37/+36
2025-08-03Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnrbors-3/+3
2025-07-31Overhaul `Constraint`.Nicholas Nethercote-21/+4
2025-07-31Make const bound handling more like types/regions.Nicholas Nethercote-3/+3
2025-07-15Add alias for ArgOutlivesPredicateMichael Goulet-1/+1
2025-07-15Consider outlives assumptions when proving auto traits for coroutine interiorsMichael Goulet-2/+26
2025-07-13Simplify make_query_region_constraintsMichael Goulet-12/+10
2025-05-27Rename unpack to kindMichael Goulet-3/+3
2025-05-26RenameMichael Goulet-1/+1
2025-05-26Avoid obligation construction dance with query region constraintsMichael Goulet-54/+8
2025-05-25Don't use relation just to equate regions in responseMichael Goulet-5/+5
2025-05-23yeet `CanonicalVarInfo`lcnr-5/+5
2025-05-06support duplicates in the opaque_types_storagelcnr-19/+7
2025-04-08clean code: remove Deref<Target=RegionKind> impl for Region and use `.kind()`xizheyin-1/+1
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-7/+6
2025-01-13rm unnecessary `OpaqueTypeDecl` wrapperlcnr-2/+2
2024-12-20remove non-borrowck member constraintslcnr-12/+2
2024-10-12Swap Vec<PredicateObligation> to type aliasGnomedDev-3/+4
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-13/+14
2024-06-03Nits and formattingMichael Goulet-5/+5
2024-06-03Make TraitEngines generic over errorMichael Goulet-16/+9
2024-06-03Remove unnecessary extension traitMichael Goulet-1/+1
2024-05-13Remove `extern crate rustc_middle` from `rustc_infer`.Nicholas Nethercote-0/+1
2024-04-08Adjust a comment to the new status quoOli Scherer-6/+3
2024-02-21Yeet QueryTypeRelatingDelegateMichael Goulet-85/+13
2024-02-20Rollup merge of #121307 - estebank:drive-by, r=compiler-errorsNilstrieb-1/+1
2024-02-19Drive-by `DUMMY_SP` -> `Span` and fmt changesEsteban Küber-1/+1
2024-02-17use `instantiate_ty_var` in nlllcnr-7/+0
2024-02-13remove questionable calls to `commit_if_ok`lcnr-34/+32
2024-02-12Dejargnonize substShoyu Vanilla-43/+48
2024-01-13Make sure to instantiate placeholders correctly in old solverMichael Goulet-4/+12
2023-12-08cleanup type variable storagelcnr-4/+1
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-1/+1
2023-11-13rename `ReLateBound` to `ReBound`lcnr-1/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-3/+3
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1/+1
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-4/+2
2023-06-19s/Clause/ClauseKindMichael Goulet-9/+9
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-6/+7
2023-05-25Fallible<_> -> Result<_, NoSolution>Michael Goulet-2/+2
2023-05-10Use OpaqueTypeKey in query responseMichael Goulet-6/+22
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 10:06:20 +0000