about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/canonical/mod.rs
AgeCommit message (Expand)AuthorLines
2025-09-08reviewlcnr-2/+3
2025-09-08optimize `CanonicalVarValues::instantiate`lcnr-24/+7
2025-09-08pass `sub_relations` into canonical querieslcnr-7/+18
2025-09-08inline `CanonicalTyVarKind`lcnr-10/+3
2025-06-25rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::MiscMichael Goulet-4/+1
2025-05-23yeet `CanonicalVarInfo`lcnr-4/+4
2025-03-15Squash fold into tyMichael Goulet-2/+1
2024-10-24Remove associated type based effects logicMichael Goulet-10/+0
2024-07-29Reformat `use` declarations.Nicholas Nethercote-5/+4
2024-06-05Basic removal of `Ty` from places (boring)Boxy-6/+5
2024-05-10Use fewer origins when creating type variables.Nicholas Nethercote-13/+7
2024-04-15Remove ConstVariableOriginKindMichael Goulet-2/+2
2024-04-15Remove TypeVariableOriginKindMichael Goulet-2/+2
2024-03-18rename `instantiate_canonical_with_fresh_inference_vars`Boxy-3/+3
2024-02-12Dejargnonize substShoyu Vanilla-7/+7
2024-02-05cleanup effect var handlinglcnr-1/+7
2023-12-14update use of feature flagslcnr-1/+1
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-1/+1
2023-10-24Get rid of 'tcx on ConstVid, EffectVidMichael Goulet-1/+1
2023-09-10Implement fallback for effect paramDeadbeef-1/+5
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-2/+2
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-2/+2
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-1/+1
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-1/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-6/+6
2023-03-03canonicalizationlcnr-2/+6
2023-02-24Rename many interner functions.Nicholas Nethercote-1/+1
2023-02-22Remove type-traversal trait aliasesAlan Egerton-2/+2
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-1/+1
2023-02-13Reduce direct `mk_ty` usage.Nicholas Nethercote-1/+1
2023-01-26Intern CanonicalVarValuesMichael Goulet-7/+8
2022-11-30Auto merge of #99814 - aliemjay:patch-2, r=jackh726bors-3/+6
2022-11-28Simplify calls to `tcx.mk_const`Maybe Waffle-1/+1
2022-11-04Refactor tcx mk_const parameters.Mateusz-6/+1
2022-10-27(almost) Always use ObligationCtxt when dealing with canonical queriesMichael Goulet-1/+1
2022-10-10Update compiler/rustc_infer/src/infer/canonical/mod.rsNiko Matsakis-0/+3
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-1/+1
2022-08-01make `PlaceholderConst` not store the type of the constEllen-2/+2
2022-07-27fix universe map in ifcx.instantiate_canonical_*Ali MJ Al-Nasrawy-3/+3
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-1/+1
2022-04-01update commentslcnr-1/+0
2022-02-15Overhaul `Const`.Nicholas Nethercote-1/+1
2022-01-12Canonicalize const variables correctlyMichael Goulet-5/+2
2020-11-12Add type to `ConstKind::Placeholder`varkor-3/+3
2020-08-30mv compiler to compiler/mark-0/+163
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 06:54:24 +0000