diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-04-13 16:42:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-13 16:42:06 +0200 |
| commit | 3fb529e726f1ae66dcafb5ab5c91e85892af943e (patch) | |
| tree | 76648cea68d015287027c74d2fe32e62da87a2b5 /compiler/rustc_pattern_analysis/src | |
| parent | 360f9ed5734ed8bcaac1f56311c92697bbe5f3d3 (diff) | |
| parent | c6a4f810d926d00a176de40ae78288c145f3843d (diff) | |
| download | rust-3fb529e726f1ae66dcafb5ab5c91e85892af943e.tar.gz rust-3fb529e726f1ae66dcafb5ab5c91e85892af943e.zip | |
Rollup merge of #123888 - oli-obk:define_opaque_types4, r=compiler-errors
Replace a `DefiningOpaqueTypes::No` with `Yes` by asserting that one side of the comparison is a type variable. Thus there will never be an opaque type involved in a way that constrains its hidden type, as the other side of the comparison is always a generator witness type r? ``@compiler-errors``
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions