about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/canonicalize.rs
AgeCommit message (Expand)AuthorLines
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