aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/diagnostics/pattern.rs
diff options
context:
space:
mode:
Diffstat (limited to 'crates/hir_ty/src/diagnostics/pattern.rs')
-rw-r--r--crates/hir_ty/src/diagnostics/pattern.rs18
1 files changed, 9 insertions, 9 deletions
diff --git a/crates/hir_ty/src/diagnostics/pattern.rs b/crates/hir_ty/src/diagnostics/pattern.rs
index 99f32097f..9f65e38d6 100644
--- a/crates/hir_ty/src/diagnostics/pattern.rs
+++ b/crates/hir_ty/src/diagnostics/pattern.rs
@@ -4,7 +4,7 @@
4mod deconstruct_pat; 4mod deconstruct_pat;
5// TODO: find a better place for this? 5// TODO: find a better place for this?
6mod pat_util; 6mod pat_util;
7pub mod usefulness; 7pub(crate) mod usefulness;
8 8
9use hir_def::{body::Body, EnumVariantId, LocalFieldId, VariantId}; 9use hir_def::{body::Body, EnumVariantId, LocalFieldId, VariantId};
10use la_arena::Idx; 10use la_arena::Idx;
@@ -13,7 +13,7 @@ use crate::{db::HirDatabase, AdtId, InferenceResult, Interner, Substitution, Ty,
13 13
14use self::pat_util::EnumerateAndAdjustIterator; 14use self::pat_util::EnumerateAndAdjustIterator;
15 15
16pub type PatId = Idx<Pat>; 16pub(crate) type PatId = Idx<Pat>;
17 17
18#[derive(Clone, Debug)] 18#[derive(Clone, Debug)]
19pub(crate) enum PatternError { 19pub(crate) enum PatternError {
@@ -21,15 +21,15 @@ pub(crate) enum PatternError {
21} 21}
22 22
23#[derive(Clone, Debug, PartialEq)] 23#[derive(Clone, Debug, PartialEq)]
24pub struct FieldPat { 24pub(crate) struct FieldPat {
25 pub field: LocalFieldId, 25 pub(crate) field: LocalFieldId,
26 pub pattern: Pat, 26 pub(crate) pattern: Pat,
27} 27}
28 28
29#[derive(Clone, Debug, PartialEq)] 29#[derive(Clone, Debug, PartialEq)]
30pub struct Pat { 30pub(crate) struct Pat {
31 pub ty: Ty, 31 pub(crate) ty: Ty,
32 pub kind: Box<PatKind>, 32 pub(crate) kind: Box<PatKind>,
33} 33}
34 34
35impl Pat { 35impl Pat {
@@ -39,7 +39,7 @@ impl Pat {
39} 39}
40 40
41#[derive(Clone, Debug, PartialEq)] 41#[derive(Clone, Debug, PartialEq)]
42pub enum PatKind { 42pub(crate) enum PatKind {
43 Wild, 43 Wild,
44 44
45 /// `x`, `ref x`, `x @ P`, etc. 45 /// `x`, `ref x`, `x @ P`, etc.