Merge #1117

1117: [WIP] Tuple struct index inference r=matklad a=robojumper

The first commit adds a helper struct `ast::FieldKind` to facilitate inference.

The second commit adds a slightly modified test from #1109 while mentioning that there is a problem with how we're handling tuple indexing / floats.

cc #1109 

Co-authored-by: robojumper <[email protected]>

1 files changed, 12 insertions, 0 deletions

diff --git a/crates/ra_syntax/src/validation/field_expr.rs b/crates/ra_syntax/src/validation/field_expr.rs
new file mode 100644
index 000000000..2b405062e
--- /dev/null
+++ b/crates/ra_syntax/src/validation/field_expr.rs
@@ -0,0 +1,12 @@
+use crate::{ast::{self, FieldKind},

+            SyntaxError,

+            SyntaxErrorKind::*,

+};

+

+pub(crate) fn validate_field_expr_node(node: &ast::FieldExpr, errors: &mut Vec<SyntaxError>) {

+    if let Some(FieldKind::Index(idx)) = node.field_access() {

+        if idx.text().chars().any(|c| c < '0' || c > '9') {

+            errors.push(SyntaxError::new(InvalidTupleIndexFormat, idx.range()));

+        }

+    }

+}