about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/canonical/query_response.rs
AgeCommit message (Expand)AuthorLines
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
2023-04-17Spelling - compilerJosh Soref-2/+2
2023-03-26remove obsolete `givens` from regionckAli MJ Al-Nasrawy-3/+1
2023-03-17Remove VecMapMichael Goulet-3/+1
2023-03-16Rollup merge of #109166 - lcnr:define_opaque_types-explicit, r=oli-obkMatthias Krüger-7/+13
2023-03-15Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr"Rémy Rakic-1/+3
2023-03-15always make `define_opaque_types` explicitlcnr-7/+13
2023-03-09remove obsolete `givens` from regionckAli MJ Al-Nasrawy-3/+1
2023-03-03canonicalizationlcnr-5/+15
2023-02-24Rename many interner functions.Nicholas Nethercote-4/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 17:52:37 +0000