Files
rust/compiler
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
..
2023-07-06 13:04:13 +00:00
2023-07-12 21:38:55 -04:00
2023-05-02 10:45:16 -07:00
2023-07-03 07:20:51 +00:00
2023-07-02 21:02:31 +02:00
2023-04-10 22:02:52 +02:00
2023-07-03 13:51:54 -07:00