lcnr
9771fb08b6
split project into multiple files
2024-02-19 09:17:00 +01:00
Michael Goulet
68c2f11240
Remove special-casing around aliaskind in new solver
2024-01-11 16:54:11 +00:00
lcnr
6ffe36b37d
refactor writeback: emit normalization errors with new solver
2023-12-12 12:20:54 +00:00
lcnr
ffb4c08a81
implement and use NormalizesTo
2023-12-08 01:31:18 +01:00
Michael Goulet
3448284f8d
Continue folding if deep normalizer fails
2023-12-05 16:55:10 +00:00
Michael Goulet
334577f091
Add deeply_normalize_for_diagnostics, use it in coherence
2023-12-05 16:33:37 +00:00
lcnr
306a7ea8b4
AliasTy::new instead of tcx method
2023-10-18 13:57:19 +02:00
lcnr
a090b4548d
avoid more ty::Binder:dummy
2023-08-03 14:16:26 +02:00
Matthias Krüger
2660d5d977
Rollup merge of #113987 - compiler-errors:comments, r=lcnr
...
Comment stuff in the new solver
r? `@lcnr`
2023-07-24 17:47:09 +02:00
Matthias Krüger
af2b370100
more clippy::style fixes:
...
get_first
single_char_add_str
unnecessary_mut_passed
manual_map
manual_is_ascii_check
2023-07-23 23:39:04 +02:00
Michael Goulet
f3553691a8
Comment stuff in the new solver
2023-07-23 12:30:52 -07:00
bors
ad963232d9
Auto merge of #113471 - compiler-errors:new-solver-norm-escaping, r=lcnr
...
Allow escaping bound vars during `normalize_erasing_regions` in new solver
Add `AllowEscapingBoundVars` to `deeply_normalize`, and use it in the new solver in the `query_normalize` routine.
Ideally, we'd make all `query_normalize` calls handle pass in `AllowEscapingBoundVars` individually, because really the only `query_normalize` call that needs `AllowEscapingBoundVars::Yes` is the one in `try_normalize_generic_arg_after_erasing_regions`, but I think that's kind of overkill. I am happy to be convinced otherwise, though.
r? `@lcnr`
2023-07-14 21:14:30 +00:00
Michael Goulet
1ef85d82e0
assertion, comment
2023-07-14 15:03:21 +00:00
Michael Goulet
4bcca3294a
Allow escaping bound vars during normalize_erasing_regions in new solver
2023-07-14 15:03:21 +00:00
Mahdi Dibaiee
e55583c4b8
refactor(rustc_middle): Substs -> GenericArg
2023-07-14 13:27:35 +01:00
Michael Goulet
f55b046931
Normalize opaques during codegen in new solver
2023-07-07 16:02:25 +00:00
Michael Goulet
a1f8edb5d5
Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obk
...
-Ztrait-solver=next: stop depending on old solver
removes the final dependencies on the old solver when `-Ztrait-solver=next` is enabled.
2023-07-05 08:45:43 -07:00
Boxy
ddbc774e74
Replace mk_const with Const::new_x methods
2023-07-04 14:26:33 +01:00
lcnr
b468bfb361
-Ztrait-solver=next: stop depending on old solver
2023-07-04 10:06:39 +02:00
lcnr
be6a344365
rebase
2023-07-03 09:24:02 +02:00
lcnr
412c6e0b07
review
2023-07-03 09:12:15 +02:00
lcnr
42067596c2
add deep normalization via the new solver
2023-07-03 09:12:14 +02:00
