about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/context.rs
AgeCommit message (Expand)AuthorLines
2025-09-18support calls on opaque types :<lcnr-0/+3
2025-09-08reviewlcnr-4/+4
2025-09-08pass `sub_relations` into canonical querieslcnr-0/+4
2025-09-08eagerly compute `sub_relations` againlcnr-0/+4
2025-09-05rustc_infer: change top-level doc comment to innerMarijn Schouten-1/+1
2025-08-22change HIR typeck unification handling approachlcnr-4/+0
2025-07-25uniquify root goals during HIR typecklcnr-0/+4
2025-06-25rename RegionVariableOrigin::MiscVariable to RegionVariableOrigin::MiscMichael Goulet-1/+1
2025-05-27Rename unpack to kindMichael Goulet-1/+1
2025-05-26Auto merge of #141605 - jieyouxu:rollup-3gjqh5l, r=jieyouxubors-1/+1
2025-05-26Don't rerun goals if none of its vars have changedMichael Goulet-0/+51
2025-05-26RenameMichael Goulet-1/+1
2025-05-26Avoid obligation construction dance with query region constraintsMichael Goulet-1/+1
2025-05-07detect additional uses of opaques after writebacklcnr-1/+19
2025-05-07opaque_type_storage to InferCtxtLikelcnr-0/+39
2025-05-02Use less rustc_type_ir in the compiler codebaseRomain Perier-17/+9
2025-03-15Squash fold into tyMichael Goulet-2/+1
2025-02-05Pass spans around new solverMichael Goulet-7/+7
2025-01-22Remove `Copy` bound from `enter_forall`Boxy-1/+1
2024-11-28support revealing defined opaque post borrowcklcnr-1/+5
2024-11-23no more Reveal :(lcnr-5/+2
2024-10-29TypingMode :thinking:lcnr-11/+6
2024-10-24Remove associated type based effects logicMichael Goulet-21/+0
2024-10-10Use SolverRelating in new solverMichael Goulet-22/+2
2024-10-10Introduce SolverRelatingMichael Goulet-1/+34
2024-10-10Uplift super_combineMichael Goulet-4/+65
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-2/+2
2024-08-21Point at explicit `'static` obligations on a traitEsteban Küber-1/+1
2024-07-07Uplift trait_ref_is_knowable and friendsMichael Goulet-0/+4
2024-07-05Split SolverDelegate back out from InferCtxtLikeMichael Goulet-0/+172
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-29 03:55:20 +0000