about summary refs log tree commit diff
path: root/compiler/rustc_parse/src/errors.rs
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2024-07-03 01:24:07 +0000
committerbors <bors@rust-lang.org>2024-07-03 01:24:07 +0000
commit67f0d43890801f50ef2d24cd66de523f89ccb157 (patch)
tree866d80b183d7d0a911e9805c9863f8edb956147d /compiler/rustc_parse/src/errors.rs
parent6292b2af620dbd771ebb687c3a93c69ba8f97268 (diff)
parent9be3a3d761060a047667226bd742346f8c25c6cf (diff)
downloadrust-67f0d43890801f50ef2d24cd66de523f89ccb157.tar.gz
rust-67f0d43890801f50ef2d24cd66de523f89ccb157.zip
Auto merge of #123720 - amandasystems:dyn-enable-refactor, r=nikomatsakis
Rewrite handling of universe-leaking placeholder regions into outlives constraints

This commit prepares for Polonius by moving handling of leak check/universe errors out of the inference step by rewriting any universe error into an outlives-static constraint.

This variant is a work in progress but seems to pass most tests.

Note that a few debug assertions no longer hold; a few extra eyes on those changes are appreciated!
Diffstat (limited to 'compiler/rustc_parse/src/errors.rs')
0 files changed, 0 insertions, 0 deletions