about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/canonicalize.rs
AgeCommit message (Expand)AuthorLines
2023-12-08Uplift canonicalizer into new trait solver crateMichael Goulet-428/+0
2023-12-08implement and use `NormalizesTo`lcnr-2/+2
2023-11-14finish `RegionKind` renamelcnr-1/+1
2023-11-13rename `ReLateBound` to `ReBound`lcnr-2/+2
2023-10-23Handle ReErased in responses in new solverMichael Goulet-2/+10
2023-10-20s/Generator/Coroutine/Oli Scherer-2/+2
2023-09-24Remove span from BrAnon.Camille GILLOT-1/+1
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-2/+1
2023-09-15Canonicalize effect vars in new solverMichael Goulet-2/+10
2023-09-10Implement fallback for effect paramDeadbeef-0/+3
2023-08-03resolve before canonicalization, ICE if unresolvedMichael Goulet-59/+35
2023-07-27Revert "don't uniquify regions when canonicalizing"Michael Goulet-11/+14
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-2/+2
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-2/+2
2023-06-13opportunistically resolve regionsMichael Goulet-2/+19
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-1/+1
2023-04-27rename `needs_infer` to `has_infer`Boxy-1/+1
2023-04-14Rollup merge of #110180 - lcnr:canonicalize, r=compiler-errorsMatthias Krüger-14/+11
2023-04-11don't uniquify regions when canonicalizinglcnr-14/+11
2023-04-10Fix typos in compilerDaniPopes-2/+2
2023-04-06Remove u32 on BoundTyKind::AnonJack Huey-3/+3
2023-04-06Remove index from BrAnonJack Huey-1/+1
2023-04-06Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR...Jack Huey-4/+10
2023-03-30canonicalize float var as float in new solverMichael Goulet-1/+1
2023-03-29Move canonicalization code aroundMichael Goulet-0/+411
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 15:17:25 +0000