about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/solve/normalize.rs
AgeCommit message (Expand)AuthorLines
2023-07-14Auto merge of #113471 - compiler-errors:new-solver-norm-escaping, r=lcnrbors-1/+15
2023-07-14assertion, commentMichael Goulet-0/+4
2023-07-14Allow escaping bound vars during normalize_erasing_regions in new solverMichael Goulet-1/+11
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-1/+1
2023-07-07Normalize opaques during codegen in new solverMichael Goulet-3/+1
2023-07-05Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obkMichael Goulet-0/+2
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-2/+2
2023-07-04 -Ztrait-solver=next: stop depending on old solverlcnr-0/+2
2023-07-03rebaselcnr-1/+1
2023-07-03reviewlcnr-14/+12
2023-07-03add deep normalization via the new solverlcnr-0/+222