diff options
| author | Lukas Wirth <lukastw97@gmail.com> | 2020-12-23 11:15:38 +0000 |
|---|---|---|
| committer | Lukas Wirth <lukastw97@gmail.com> | 2020-12-23 11:15:38 +0000 |
| commit | 0a780c0ab3869d92fb56ae3b2ddc7636fb169314 (patch) | |
| tree | 9323c15986fdb61054e972fcebf88717f1ebb277 /crates/hir_ty/src/tests | |
| parent | fd1fcf2c2e90ab04103a6aa9d033ec64dcc8d555 (diff) | |
Implement const pat inference
Diffstat (limited to 'crates/hir_ty/src/tests')
| -rw-r--r-- | crates/hir_ty/src/tests/patterns.rs | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/crates/hir_ty/src/tests/patterns.rs b/crates/hir_ty/src/tests/patterns.rs index 5a5f48fd0..2053d8f56 100644 --- a/crates/hir_ty/src/tests/patterns.rs +++ b/crates/hir_ty/src/tests/patterns.rs | |||
| @@ -774,3 +774,33 @@ fn foo(tuple: Tuple) { | |||
| 774 | "#]], | 774 | "#]], |
| 775 | ); | 775 | ); |
| 776 | } | 776 | } |
| 777 | |||
| 778 | #[test] | ||
| 779 | fn const_block_pattern() { | ||
| 780 | check_infer( | ||
| 781 | r#" | ||
| 782 | struct Foo(usize); | ||
| 783 | fn foo(foo: Foo) { | ||
| 784 | match foo { | ||
| 785 | const { Foo(15 + 32) } => {}, | ||
| 786 | _ => {} | ||
| 787 | } | ||
| 788 | }"#, | ||
| 789 | expect![[r#" | ||
| 790 | 26..29 'foo': Foo | ||
| 791 | 36..115 '{ ... } }': () | ||
| 792 | 42..113 'match ... }': () | ||
| 793 | 48..51 'foo': Foo | ||
| 794 | 62..84 'const ... 32) }': Foo | ||
| 795 | 68..84 '{ Foo(... 32) }': Foo | ||
| 796 | 70..73 'Foo': Foo(usize) -> Foo | ||
| 797 | 70..82 'Foo(15 + 32)': Foo | ||
| 798 | 74..76 '15': usize | ||
| 799 | 74..81 '15 + 32': usize | ||
| 800 | 79..81 '32': usize | ||
| 801 | 88..90 '{}': () | ||
| 802 | 100..101 '_': Foo | ||
| 803 | 105..107 '{}': () | ||
| 804 | "#]], | ||
| 805 | ); | ||
| 806 | } | ||