about summary refs log tree commit diff
path: root/compiler/rustc_pattern_analysis/src
diff options
context:
space:
mode:
authorOli Scherer <git-spam-no-reply9815368754983@oli-obk.de>2024-04-13 07:26:47 +0000
committerOli Scherer <git-spam-no-reply9815368754983@oli-obk.de>2024-04-13 07:26:47 +0000
commitc6a4f810d926d00a176de40ae78288c145f3843d (patch)
treede7589253c3ac35747dcebfdc387e0db8ef7d2cd /compiler/rustc_pattern_analysis/src
parentc9889b02b92d28ab4b97bd3c57f4fd06e801697d (diff)
downloadrust-c6a4f810d926d00a176de40ae78288c145f3843d.tar.gz
rust-c6a4f810d926d00a176de40ae78288c145f3843d.zip
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
Diffstat (limited to 'compiler/rustc_pattern_analysis/src')
0 files changed, 0 insertions, 0 deletions