diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/type-alias-enum-variants/issue-57866.rs | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/src/test/ui/type-alias-enum-variants/issue-57866.rs b/src/test/ui/type-alias-enum-variants/issue-57866.rs new file mode 100644 index 000000000..5e105b20a --- /dev/null +++ b/src/test/ui/type-alias-enum-variants/issue-57866.rs @@ -0,0 +1,24 @@ +// check-pass + +enum Outer<T> { + A(T) +} + +enum Inner { + A(i32) +} + +type OuterAlias = Outer<Inner>; + +fn ice(x: OuterAlias) { + // Fine + match x { + OuterAlias::A(Inner::A(_)) => (), + } + // Not fine + match x { + OuterAlias::A(Inner::A(y)) => (), + } +} + +fn main() {} |