63 files changed, 1627 insertions, 828 deletions

diff --git a/crates/ra_syntax/Cargo.toml b/crates/ra_syntax/Cargo.toml
index 724c38e17..9bc85404a 100644
--- a/crates/ra_syntax/Cargo.toml
+++ b/crates/ra_syntax/Cargo.toml
@@ -12,6 +12,8 @@ itertools = "0.8.0"
 rowan = "0.6.1"
 rustc_lexer = "0.1.0"
 rustc-hash = "1.0.1"
+arrayvec = "0.4.10"
+once_cell = "1.2.0"
 
 # ideally, `serde` should be enabled by `ra_lsp_server`, but we enable it here
 # to reduce number of compilations
diff --git a/crates/ra_syntax/fuzz/fuzz_targets/parser.rs b/crates/ra_syntax/fuzz/fuzz_targets/parser.rs
index 76a8b08d0..7bc4ef30d 100644
--- a/crates/ra_syntax/fuzz/fuzz_targets/parser.rs
+++ b/crates/ra_syntax/fuzz/fuzz_targets/parser.rs
@@ -1,3 +1,5 @@
+//! FIXME: write short doc here
+
 #![no_main]
 use libfuzzer_sys::fuzz_target;
 use ra_syntax::fuzz::check_parser;
diff --git a/crates/ra_syntax/fuzz/fuzz_targets/reparse.rs b/crates/ra_syntax/fuzz/fuzz_targets/reparse.rs
index 45524d4c1..16598f5f1 100644
--- a/crates/ra_syntax/fuzz/fuzz_targets/reparse.rs
+++ b/crates/ra_syntax/fuzz/fuzz_targets/reparse.rs
@@ -1,3 +1,5 @@
+//! FIXME: write short doc here
+
 #![no_main]
 use libfuzzer_sys::fuzz_target;
 use ra_syntax::fuzz::CheckReparse;
diff --git a/crates/ra_syntax/src/algo.rs b/crates/ra_syntax/src/algo.rs
index 46680a08f..7cfea70f9 100644
--- a/crates/ra_syntax/src/algo.rs
+++ b/crates/ra_syntax/src/algo.rs
@@ -1,8 +1,9 @@
-pub mod visit;
+//! FIXME: write short doc here
 
 use std::ops::RangeInclusive;
 
 use itertools::Itertools;
+use ra_text_edit::TextEditBuilder;
 use rustc_hash::FxHashMap;
 
 use crate::{
@@ -63,6 +64,18 @@ pub enum InsertPosition<T> {
     After(T),
 }
 
+pub struct TreeDiff {
+    replacements: FxHashMap<SyntaxElement, SyntaxElement>,
+}
+
+impl TreeDiff {
+    pub fn into_text_edit(&self, builder: &mut TextEditBuilder) {
+        for (from, to) in self.replacements.iter() {
+            builder.replace(from.text_range(), to.to_string())
+        }
+    }
+}
+
 /// Finds minimal the diff, which, applied to `from`, will result in `to`.
 ///
 /// Specifically, returns a map whose keys are descendants of `from` and values
@@ -70,12 +83,12 @@ pub enum InsertPosition<T> {
 ///
 /// A trivial solution is a singletom map `{ from: to }`, but this function
 /// tries to find a more fine-grained diff.
-pub fn diff(from: &SyntaxNode, to: &SyntaxNode) -> FxHashMap<SyntaxElement, SyntaxElement> {
+pub fn diff(from: &SyntaxNode, to: &SyntaxNode) -> TreeDiff {
     let mut buf = FxHashMap::default();
     // FIXME: this is both horrible inefficient and gives larger than
     // necessary diff. I bet there's a cool algorithm to diff trees properly.
     go(&mut buf, from.clone().into(), to.clone().into());
-    return buf;
+    return TreeDiff { replacements: buf };
 
     fn go(
         buf: &mut FxHashMap<SyntaxElement, SyntaxElement>,
diff --git a/crates/ra_syntax/src/algo/visit.rs b/crates/ra_syntax/src/algo/visit.rs
deleted file mode 100644
index 87bd15cc0..000000000
--- a/crates/ra_syntax/src/algo/visit.rs
+++ /dev/null
@@ -1,110 +0,0 @@
-use crate::{AstNode, SyntaxNode};
-
-use std::marker::PhantomData;
-
-pub fn visitor<'a, T>() -> impl Visitor<'a, Output = T> {
-    EmptyVisitor { ph: PhantomData }
-}
-
-pub fn visitor_ctx<'a, T, C>(ctx: C) -> impl VisitorCtx<'a, Output = T, Ctx = C> {
-    EmptyVisitorCtx { ph: PhantomData, ctx }
-}
-
-pub trait Visitor<'a>: Sized {
-    type Output;
-    fn accept(self, node: &'a SyntaxNode) -> Option<Self::Output>;
-    fn visit<N, F>(self, f: F) -> Vis<Self, N, F>
-    where
-        N: AstNode + 'a,
-        F: FnOnce(N) -> Self::Output,
-    {
-        Vis { inner: self, f, ph: PhantomData }
-    }
-}
-
-pub trait VisitorCtx<'a>: Sized {
-    type Output;
-    type Ctx;
-    fn accept(self, node: &'a SyntaxNode) -> Result<Self::Output, Self::Ctx>;
-    fn visit<N, F>(self, f: F) -> VisCtx<Self, N, F>
-    where
-        N: AstNode + 'a,
-        F: FnOnce(N, Self::Ctx) -> Self::Output,
-    {
-        VisCtx { inner: self, f, ph: PhantomData }
-    }
-}
-
-#[derive(Debug)]
-struct EmptyVisitor<T> {
-    ph: PhantomData<fn() -> T>,
-}
-
-impl<'a, T> Visitor<'a> for EmptyVisitor<T> {
-    type Output = T;
-
-    fn accept(self, _node: &'a SyntaxNode) -> Option<T> {
-        None
-    }
-}
-
-#[derive(Debug)]
-struct EmptyVisitorCtx<T, C> {
-    ctx: C,
-    ph: PhantomData<fn() -> T>,
-}
-
-impl<'a, T, C> VisitorCtx<'a> for EmptyVisitorCtx<T, C> {
-    type Output = T;
-    type Ctx = C;
-
-    fn accept(self, _node: &'a SyntaxNode) -> Result<T, C> {
-        Err(self.ctx)
-    }
-}
-
-#[derive(Debug)]
-pub struct Vis<V, N, F> {
-    inner: V,
-    f: F,
-    ph: PhantomData<fn(N)>,
-}
-
-impl<'a, V, N, F> Visitor<'a> for Vis<V, N, F>
-where
-    V: Visitor<'a>,
-    N: AstNode + 'a,
-    F: FnOnce(N) -> <V as Visitor<'a>>::Output,
-{
-    type Output = <V as Visitor<'a>>::Output;
-
-    fn accept(self, node: &'a SyntaxNode) -> Option<Self::Output> {
-        let Vis { inner, f, .. } = self;
-        inner.accept(node).or_else(|| N::cast(node.clone()).map(f))
-    }
-}
-
-#[derive(Debug)]
-pub struct VisCtx<V, N, F> {
-    inner: V,
-    f: F,
-    ph: PhantomData<fn(N)>,
-}
-
-impl<'a, V, N, F> VisitorCtx<'a> for VisCtx<V, N, F>
-where
-    V: VisitorCtx<'a>,
-    N: AstNode + 'a,
-    F: FnOnce(N, <V as VisitorCtx<'a>>::Ctx) -> <V as VisitorCtx<'a>>::Output,
-{
-    type Output = <V as VisitorCtx<'a>>::Output;
-    type Ctx = <V as VisitorCtx<'a>>::Ctx;
-
-    fn accept(self, node: &'a SyntaxNode) -> Result<Self::Output, Self::Ctx> {
-        let VisCtx { inner, f, .. } = self;
-        inner.accept(node).or_else(|ctx| match N::cast(node.clone()) {
-            None => Err(ctx),
-            Some(node) => Ok(f(node, ctx)),
-        })
-    }
-}
diff --git a/crates/ra_syntax/src/ast.rs b/crates/ra_syntax/src/ast.rs
index f464d6534..1b2ce921a 100644
--- a/crates/ra_syntax/src/ast.rs
+++ b/crates/ra_syntax/src/ast.rs
@@ -5,6 +5,7 @@ mod traits;
 mod tokens;
 mod extensions;
 mod expr_extensions;
+pub mod edit;
 pub mod make;
 
 use std::marker::PhantomData;
diff --git a/crates/ra_syntax/src/ast/edit.rs b/crates/ra_syntax/src/ast/edit.rs
new file mode 100644
index 000000000..03f3b5fbb
--- /dev/null
+++ b/crates/ra_syntax/src/ast/edit.rs
@@ -0,0 +1,271 @@
+//! This module contains functions for editing syntax trees. As the trees are
+//! immutable, all function here return a fresh copy of the tree, instead of
+//! doing an in-place modification.
+use std::{iter, ops::RangeInclusive};
+
+use arrayvec::ArrayVec;
+use rustc_hash::FxHashMap;
+
+use crate::{
+    algo,
+    ast::{
+        self,
+        make::{self, tokens},
+        AstNode, TypeBoundsOwner,
+    },
+    AstToken, Direction, InsertPosition, SmolStr, SyntaxElement,
+    SyntaxKind::{ATTR, COMMENT, WHITESPACE},
+    SyntaxNode, T,
+};
+
+impl ast::FnDef {
+    #[must_use]
+    pub fn with_body(&self, body: ast::Block) -> ast::FnDef {
+        let mut to_insert: ArrayVec<[SyntaxElement; 2]> = ArrayVec::new();
+        let old_body_or_semi: SyntaxElement = if let Some(old_body) = self.body() {
+            old_body.syntax().clone().into()
+        } else if let Some(semi) = self.semicolon_token() {
+            to_insert.push(make::tokens::single_space().into());
+            semi.into()
+        } else {
+            to_insert.push(make::tokens::single_space().into());
+            to_insert.push(body.syntax().clone().into());
+            return insert_children(self, InsertPosition::Last, to_insert.into_iter());
+        };
+        to_insert.push(body.syntax().clone().into());
+        let replace_range = RangeInclusive::new(old_body_or_semi.clone(), old_body_or_semi);
+        replace_children(self, replace_range, to_insert.into_iter())
+    }
+}
+
+impl ast::ItemList {
+    #[must_use]
+    pub fn append_items(&self, items: impl Iterator<Item = ast::ImplItem>) -> ast::ItemList {
+        let mut res = self.clone();
+        if !self.syntax().text().contains_char('\n') {
+            res = res.make_multiline();
+        }
+        items.for_each(|it| res = res.append_item(it));
+        res
+    }
+
+    #[must_use]
+    pub fn append_item(&self, item: ast::ImplItem) -> ast::ItemList {
+        let (indent, position) = match self.impl_items().last() {
+            Some(it) => (
+                leading_indent(it.syntax()).unwrap_or_default().to_string(),
+                InsertPosition::After(it.syntax().clone().into()),
+            ),
+            None => match self.l_curly() {
+                Some(it) => (
+                    "    ".to_string() + &leading_indent(self.syntax()).unwrap_or_default(),
+                    InsertPosition::After(it),
+                ),
+                None => return self.clone(),
+            },
+        };
+        let ws = tokens::WsBuilder::new(&format!("\n{}", indent));
+        let to_insert: ArrayVec<[SyntaxElement; 2]> =
+            [ws.ws().into(), item.syntax().clone().into()].into();
+        insert_children(self, position, to_insert.into_iter())
+    }
+
+    fn l_curly(&self) -> Option<SyntaxElement> {
+        self.syntax().children_with_tokens().find(|it| it.kind() == T!['{'])
+    }
+
+    fn make_multiline(&self) -> ast::ItemList {
+        let l_curly = match self.syntax().children_with_tokens().find(|it| it.kind() == T!['{']) {
+            Some(it) => it,
+            None => return self.clone(),
+        };
+        let sibling = match l_curly.next_sibling_or_token() {
+            Some(it) => it,
+            None => return self.clone(),
+        };
+        let existing_ws = match sibling.as_token() {
+            None => None,
+            Some(tok) if tok.kind() != WHITESPACE => None,
+            Some(ws) => {
+                if ws.text().contains('\n') {
+                    return self.clone();
+                }
+                Some(ws.clone())
+            }
+        };
+
+        let indent = leading_indent(self.syntax()).unwrap_or("".into());
+        let ws = tokens::WsBuilder::new(&format!("\n{}", indent));
+        let to_insert = iter::once(ws.ws().into());
+        match existing_ws {
+            None => insert_children(self, InsertPosition::After(l_curly), to_insert),
+            Some(ws) => {
+                replace_children(self, RangeInclusive::new(ws.clone().into(), ws.into()), to_insert)
+            }
+        }
+    }
+}
+
+impl ast::RecordFieldList {
+    #[must_use]
+    pub fn append_field(&self, field: &ast::RecordField) -> ast::RecordFieldList {
+        self.insert_field(InsertPosition::Last, field)
+    }
+
+    #[must_use]
+    pub fn insert_field(
+        &self,
+        position: InsertPosition<&'_ ast::RecordField>,
+        field: &ast::RecordField,
+    ) -> ast::RecordFieldList {
+        let is_multiline = self.syntax().text().contains_char('\n');
+        let ws;
+        let space = if is_multiline {
+            ws = tokens::WsBuilder::new(&format!(
+                "\n{}    ",
+                leading_indent(self.syntax()).unwrap_or("".into())
+            ));
+            ws.ws()
+        } else {
+            tokens::single_space()
+        };
+
+        let mut to_insert: ArrayVec<[SyntaxElement; 4]> = ArrayVec::new();
+        to_insert.push(space.into());
+        to_insert.push(field.syntax().clone().into());
+        to_insert.push(tokens::comma().into());
+
+        macro_rules! after_l_curly {
+            () => {{
+                let anchor = match self.l_curly() {
+                    Some(it) => it,
+                    None => return self.clone(),
+                };
+                InsertPosition::After(anchor)
+            }};
+        }
+
+        macro_rules! after_field {
+            ($anchor:expr) => {
+                if let Some(comma) = $anchor
+                    .syntax()
+                    .siblings_with_tokens(Direction::Next)
+                    .find(|it| it.kind() == T![,])
+                {
+                    InsertPosition::After(comma)
+                } else {
+                    to_insert.insert(0, tokens::comma().into());
+                    InsertPosition::After($anchor.syntax().clone().into())
+                }
+            };
+        };
+
+        let position = match position {
+            InsertPosition::First => after_l_curly!(),
+            InsertPosition::Last => {
+                if !is_multiline {
+                    // don't insert comma before curly
+                    to_insert.pop();
+                }
+                match self.fields().last() {
+                    Some(it) => after_field!(it),
+                    None => after_l_curly!(),
+                }
+            }
+            InsertPosition::Before(anchor) => {
+                InsertPosition::Before(anchor.syntax().clone().into())
+            }
+            InsertPosition::After(anchor) => after_field!(anchor),
+        };
+
+        insert_children(self, position, to_insert.iter().cloned())
+    }
+
+    fn l_curly(&self) -> Option<SyntaxElement> {
+        self.syntax().children_with_tokens().find(|it| it.kind() == T!['{'])
+    }
+}
+
+impl ast::TypeParam {
+    #[must_use]
+    pub fn remove_bounds(&self) -> ast::TypeParam {
+        let colon = match self.colon_token() {
+            Some(it) => it,
+            None => return self.clone(),
+        };
+        let end = match self.type_bound_list() {
+            Some(it) => it.syntax().clone().into(),
+            None => colon.clone().into(),
+        };
+        replace_children(self, RangeInclusive::new(colon.into(), end), iter::empty())
+    }
+}
+
+#[must_use]
+pub fn strip_attrs_and_docs<N: ast::AttrsOwner>(node: &N) -> N {
+    N::cast(strip_attrs_and_docs_inner(node.syntax().clone())).unwrap()
+}
+
+fn strip_attrs_and_docs_inner(mut node: SyntaxNode) -> SyntaxNode {
+    while let Some(start) =
+        node.children_with_tokens().find(|it| it.kind() == ATTR || it.kind() == COMMENT)
+    {
+        let end = match &start.next_sibling_or_token() {
+            Some(el) if el.kind() == WHITESPACE => el.clone(),
+            Some(_) | None => start.clone(),
+        };
+        node = algo::replace_children(&node, RangeInclusive::new(start, end), &mut iter::empty());
+    }
+    node
+}
+
+#[must_use]
+pub fn replace_descendants<N: AstNode, D: AstNode>(
+    parent: &N,
+    replacement_map: impl Iterator<Item = (D, D)>,
+) -> N {
+    let map = replacement_map
+        .map(|(from, to)| (from.syntax().clone().into(), to.syntax().clone().into()))
+        .collect::<FxHashMap<_, _>>();
+    let new_syntax = algo::replace_descendants(parent.syntax(), &map);
+    N::cast(new_syntax).unwrap()
+}
+
+// Note this is copy-pasted from fmt. It seems like fmt should be a separate
+// crate, but basic tree building should be this crate. However, tree building
+// might want to call into fmt...
+fn leading_indent(node: &SyntaxNode) -> Option<SmolStr> {
+    let prev_tokens = std::iter::successors(node.first_token(), |token| token.prev_token());
+    for token in prev_tokens {
+        if let Some(ws) = ast::Whitespace::cast(token.clone()) {
+            let ws_text = ws.text();
+            if let Some(pos) = ws_text.rfind('\n') {
+                return Some(ws_text[pos + 1..].into());
+            }
+        }
+        if token.text().contains('\n') {
+            break;
+        }
+    }
+    None
+}
+
+#[must_use]
+fn insert_children<N: AstNode>(
+    parent: &N,
+    position: InsertPosition<SyntaxElement>,
+    mut to_insert: impl Iterator<Item = SyntaxElement>,
+) -> N {
+    let new_syntax = algo::insert_children(parent.syntax(), position, &mut to_insert);
+    N::cast(new_syntax).unwrap()
+}
+
+#[must_use]
+fn replace_children<N: AstNode>(
+    parent: &N,
+    to_replace: RangeInclusive<SyntaxElement>,
+    mut to_insert: impl Iterator<Item = SyntaxElement>,
+) -> N {
+    let new_syntax = algo::replace_children(parent.syntax(), to_replace, &mut to_insert);
+    N::cast(new_syntax).unwrap()
+}
diff --git a/crates/ra_syntax/src/ast/extensions.rs b/crates/ra_syntax/src/ast/extensions.rs
index 5f7e9f5b1..cefc00402 100644
--- a/crates/ra_syntax/src/ast/extensions.rs
+++ b/crates/ra_syntax/src/ast/extensions.rs
@@ -1,10 +1,8 @@
 //! Various extension methods to ast Nodes, which are hard to code-generate.
 //! Extensions for various expressions live in a sibling `expr_extensions` module.
 
-use itertools::Itertools;
-
 use crate::{
-    ast::{self, child_opt, children, AstNode, SyntaxNode},
+    ast::{self, child_opt, children, AstChildren, AstNode, AttrInput, SyntaxNode},
     SmolStr, SyntaxElement,
     SyntaxKind::*,
     SyntaxToken, T,
@@ -21,6 +19,16 @@ impl ast::NameRef {
     pub fn text(&self) -> &SmolStr {
         text_of_first_token(self.syntax())
     }
+
+    pub fn as_tuple_field(&self) -> Option<usize> {
+        self.syntax().children_with_tokens().find_map(|c| {
+            if c.kind() == SyntaxKind::INT_NUMBER {
+                c.as_token().and_then(|tok| tok.text().as_str().parse().ok())
+            } else {
+                None
+            }
+        })
+    }
 }
 
 fn text_of_first_token(node: &SyntaxNode) -> &SmolStr {
@@ -28,62 +36,37 @@ fn text_of_first_token(node: &SyntaxNode) -> &SmolStr {
 }
 
 impl ast::Attr {
-    pub fn is_inner(&self) -> bool {
-        let tt = match self.value() {
-            None => return false,
-            Some(tt) => tt,
-        };
-
-        let prev = match tt.syntax().prev_sibling() {
-            None => return false,
-            Some(prev) => prev,
-        };
-
-        prev.kind() == T![!]
-    }
-
-    pub fn as_atom(&self) -> Option<SmolStr> {
-        let tt = self.value()?;
-        let (_bra, attr, _ket) = tt.syntax().children_with_tokens().collect_tuple()?;
-        if attr.kind() == IDENT {
-            Some(attr.as_token()?.text().clone())
-        } else {
-            None
+    pub fn as_simple_atom(&self) -> Option<SmolStr> {
+        match self.input() {
+            None => self.simple_name(),
+            Some(_) => None,
         }
     }
 
-    pub fn as_call(&self) -> Option<(SmolStr, ast::TokenTree)> {
-        let tt = self.value()?;
-        let (_bra, attr, args, _ket) = tt.syntax().children_with_tokens().collect_tuple()?;
-        let args = ast::TokenTree::cast(args.as_node()?.clone())?;
-        if attr.kind() == IDENT {
-            Some((attr.as_token()?.text().clone(), args))
-        } else {
-            None
+    pub fn as_simple_call(&self) -> Option<(SmolStr, ast::TokenTree)> {
+        match self.input() {
+            Some(AttrInput::TokenTree(tt)) => Some((self.simple_name()?, tt)),
+            _ => None,
         }
     }
 
-    pub fn as_named(&self) -> Option<SmolStr> {
-        let tt = self.value()?;
-        let attr = tt.syntax().children_with_tokens().nth(1)?;
-        if attr.kind() == IDENT {
-            Some(attr.as_token()?.text().clone())
-        } else {
-            None
+    pub fn as_simple_key_value(&self) -> Option<(SmolStr, SmolStr)> {
+        match self.input() {
+            Some(AttrInput::Literal(lit)) => {
+                let key = self.simple_name()?;
+                // FIXME: escape? raw string?
+                let value = lit.syntax().first_token()?.text().trim_matches('"').into();
+                Some((key, value))
+            }
+            _ => None,
         }
     }
 
-    pub fn as_key_value(&self) -> Option<(SmolStr, SmolStr)> {
-        let tt = self.value()?;
-        let tt_node = tt.syntax();
-        let attr = tt_node.children_with_tokens().nth(1)?;
-        if attr.kind() == IDENT {
-            let key = attr.as_token()?.text().clone();
-            let val_node = tt_node.children_with_tokens().find(|t| t.kind() == STRING)?;
-            let val = val_node.as_token()?.text().trim_start_matches('"').trim_end_matches('"');
-            Some((key, SmolStr::new(val)))
-        } else {
-            None
+    pub fn simple_name(&self) -> Option<SmolStr> {
+        let path = self.path()?;
+        match (path.segment(), path.qualifier()) {
+            (Some(segment), None) => Some(segment.syntax().first_token()?.text().clone()),
+            _ => None,
         }
     }
 }
@@ -193,6 +176,16 @@ impl ast::ImplBlock {
     }
 }
 
+impl ast::AttrsOwner for ast::ImplItem {
+    fn attrs(&self) -> AstChildren<ast::Attr> {
+        match self {
+            ast::ImplItem::FnDef(it) => it.attrs(),
+            ast::ImplItem::TypeAliasDef(it) => it.attrs(),
+            ast::ImplItem::ConstDef(it) => it.attrs(),
+        }
+    }
+}
+
 #[derive(Debug, Clone, PartialEq, Eq)]
 pub enum StructKind {
     Tuple(ast::TupleFieldDefList),
diff --git a/crates/ra_syntax/src/ast/generated.rs b/crates/ra_syntax/src/ast/generated.rs
index dc1f8c82c..34b22c3e2 100644
--- a/crates/ra_syntax/src/ast/generated.rs
+++ b/crates/ra_syntax/src/ast/generated.rs
@@ -1,4 +1,4 @@
-// Generated file, do not edit by hand, see `crate/ra_tools/src/codegen`
+//! Generated file, do not edit by hand, see `crate/ra_tools/src/codegen`
 
 use crate::{
     ast::{self, AstChildren, AstNode},
@@ -166,11 +166,52 @@ impl AstNode for Attr {
     }
 }
 impl Attr {
-    pub fn value(&self) -> Option<TokenTree> {
+    pub fn path(&self) -> Option<Path> {
+        AstChildren::new(&self.syntax).next()
+    }
+    pub fn input(&self) -> Option<AttrInput> {
         AstChildren::new(&self.syntax).next()
     }
 }
 #[derive(Debug, Clone, PartialEq, Eq, Hash)]
+pub enum AttrInput {
+    Literal(Literal),
+    TokenTree(TokenTree),
+}
+impl From<Literal> for AttrInput {
+    fn from(node: Literal) -> AttrInput {
+        AttrInput::Literal(node)
+    }
+}
+impl From<TokenTree> for AttrInput {
+    fn from(node: TokenTree) -> AttrInput {
+        AttrInput::TokenTree(node)
+    }
+}
+impl AstNode for AttrInput {
+    fn can_cast(kind: SyntaxKind) -> bool {
+        match kind {
+            LITERAL | TOKEN_TREE => true,
+            _ => false,
+        }
+    }
+    fn cast(syntax: SyntaxNode) -> Option<Self> {
+        let res = match syntax.kind() {
+            LITERAL => AttrInput::Literal(Literal { syntax }),
+            TOKEN_TREE => AttrInput::TokenTree(TokenTree { syntax }),
+            _ => return None,
+        };
+        Some(res)
+    }
+    fn syntax(&self) -> &SyntaxNode {
+        match self {
+            AttrInput::Literal(it) => &it.syntax,
+            AttrInput::TokenTree(it) => &it.syntax,
+        }
+    }
+}
+impl AttrInput {}
+#[derive(Debug, Clone, PartialEq, Eq, Hash)]
 pub struct AwaitExpr {
     pub(crate) syntax: SyntaxNode,
 }
@@ -1921,6 +1962,7 @@ impl AstNode for ModuleItem {
         }
     }
 }
+impl ast::AttrsOwner for ModuleItem {}
 impl ModuleItem {}
 #[derive(Debug, Clone, PartialEq, Eq, Hash)]
 pub struct Name {
diff --git a/crates/ra_syntax/src/ast/make.rs b/crates/ra_syntax/src/ast/make.rs
index c06c62b3b..287a40bee 100644
--- a/crates/ra_syntax/src/ast/make.rs
+++ b/crates/ra_syntax/src/ast/make.rs
@@ -133,3 +133,51 @@ fn ast_from_text<N: AstNode>(text: &str) -> N {
     let res = parse.tree().syntax().descendants().find_map(N::cast).unwrap();
     res
 }
+
+pub mod tokens {
+    use crate::{AstNode, Parse, SourceFile, SyntaxKind::*, SyntaxToken, T};
+    use once_cell::sync::Lazy;
+
+    static SOURCE_FILE: Lazy<Parse<SourceFile>> = Lazy::new(|| SourceFile::parse(",\n; ;"));
+
+    pub fn comma() -> SyntaxToken {
+        SOURCE_FILE
+            .tree()
+            .syntax()
+            .descendants_with_tokens()
+            .filter_map(|it| it.into_token())
+            .find(|it| it.kind() == T![,])
+            .unwrap()
+    }
+
+    pub fn single_space() -> SyntaxToken {
+        SOURCE_FILE
+            .tree()
+            .syntax()
+            .descendants_with_tokens()
+            .filter_map(|it| it.into_token())
+            .find(|it| it.kind() == WHITESPACE && it.text().as_str() == " ")
+            .unwrap()
+    }
+
+    pub fn single_newline() -> SyntaxToken {
+        SOURCE_FILE
+            .tree()
+            .syntax()
+            .descendants_with_tokens()
+            .filter_map(|it| it.into_token())
+            .find(|it| it.kind() == WHITESPACE && it.text().as_str() == "\n")
+            .unwrap()
+    }
+
+    pub struct WsBuilder(SourceFile);
+
+    impl WsBuilder {
+        pub fn new(text: &str) -> WsBuilder {
+            WsBuilder(SourceFile::parse(text).ok().unwrap())
+        }
+        pub fn ws(&self) -> SyntaxToken {
+            self.0.syntax().first_child_or_token().unwrap().into_token().unwrap()
+        }
+    }
+}
diff --git a/crates/ra_syntax/src/ast/traits.rs b/crates/ra_syntax/src/ast/traits.rs
index c3e676d4c..f275a4955 100644
--- a/crates/ra_syntax/src/ast/traits.rs
+++ b/crates/ra_syntax/src/ast/traits.rs
@@ -99,7 +99,7 @@ pub trait AttrsOwner: AstNode {
         children(self)
     }
     fn has_atom_attr(&self, atom: &str) -> bool {
-        self.attrs().filter_map(|x| x.as_atom()).any(|x| x == atom)
+        self.attrs().filter_map(|x| x.as_simple_atom()).any(|x| x == atom)
     }
 }
 
diff --git a/crates/ra_syntax/src/fuzz.rs b/crates/ra_syntax/src/fuzz.rs
index 698a624ec..7012df7f0 100644
--- a/crates/ra_syntax/src/fuzz.rs
+++ b/crates/ra_syntax/src/fuzz.rs
@@ -1,3 +1,5 @@
+//! FIXME: write short doc here
+
 use crate::{validation, AstNode, SourceFile, TextRange, TextUnit};
 use ra_text_edit::AtomTextEdit;
 use std::str::{self, FromStr};
diff --git a/crates/ra_syntax/src/grammar.ron b/crates/ra_syntax/src/grammar.ron
index 5f395501a..25e6f64ce 100644
--- a/crates/ra_syntax/src/grammar.ron
+++ b/crates/ra_syntax/src/grammar.ron
@@ -1,5 +1,5 @@
 // Stores definitions which must be used in multiple places
-// See `cargo gen-syntax` (defined in crates/tools/src/main.rs)
+// See `cargo gen-syntax` (defined in crates/ra_tools/src/main.rs)
 Grammar(
     punct: [
         (";", "SEMI"),
@@ -397,7 +397,8 @@ Grammar(
         ),
         "ModuleItem": (
             enum: ["StructDef", "EnumDef", "FnDef", "TraitDef", "TypeAliasDef", "ImplBlock",
-                   "UseItem", "ExternCrateItem", "ConstDef", "StaticDef", "Module" ]
+                   "UseItem", "ExternCrateItem", "ConstDef", "StaticDef", "Module" ],
+            traits: ["AttrsOwner"]
         ),
         "ImplItem": (
             enum: ["FnDef", "TypeAliasDef", "ConstDef"]
@@ -576,7 +577,8 @@ Grammar(
             traits: [ "NameOwner", "AttrsOwner","DocCommentsOwner" ],
             options: [ "TokenTree", "Path" ],
         ),
-        "Attr": ( options: [ ["value", "TokenTree"] ] ),
+        "AttrInput": ( enum: [ "Literal", "TokenTree" ] ),
+        "Attr": ( options: [ "Path", [ "input", "AttrInput" ] ] ),
         "TokenTree": (),
         "TypeParamList": (
             collections: [
diff --git a/crates/ra_syntax/src/lib.rs b/crates/ra_syntax/src/lib.rs
index edb6076bb..c315ba552 100644
--- a/crates/ra_syntax/src/lib.rs
+++ b/crates/ra_syntax/src/lib.rs
@@ -160,6 +160,17 @@ impl SourceFile {
     }
 }
 
+#[macro_export]
+macro_rules! match_ast {
+    (match $node:ident {
+        $( ast::$ast:ident($it:ident) => $res:block, )*
+        _ => $catch_all:expr,
+    }) => {{
+        $( if let Some($it) = ast::$ast::cast($node.clone()) $res else )*
+        { $catch_all }
+    }};
+}
+
 /// This test does not assert anything and instead just shows off the crate's
 /// API.
 #[test]
@@ -294,7 +305,7 @@ fn api_walkthrough() {
     // To recursively process the tree, there are three approaches:
     // 1. explicitly call getter methods on AST nodes.
     // 2. use descendants and `AstNode::cast`.
-    // 3. use descendants and the visitor.
+    // 3. use descendants and `match_ast!`.
     //
     // Here's how the first one looks like:
     let exprs_cast: Vec<String> = file
@@ -304,17 +315,17 @@ fn api_walkthrough() {
         .map(|expr| expr.syntax().text().to_string())
         .collect();
 
-    // An alternative is to use a visitor. The visitor does not do traversal
-    // automatically (so it's more akin to a generic lambda) and is constructed
-    // from closures. This seems more flexible than a single generated visitor
-    // trait.
-    use algo::visit::{visitor, Visitor};
+    // An alternative is to use a macro.
     let mut exprs_visit = Vec::new();
     for node in file.syntax().descendants() {
-        if let Some(result) =
-            visitor().visit::<ast::Expr, _>(|expr| expr.syntax().text().to_string()).accept(&node)
-        {
-            exprs_visit.push(result);
+        match_ast! {
+            match node {
+                ast::Expr(it) => {
+                    let res = it.syntax().text().to_string();
+                    exprs_visit.push(res);
+                },
+                _ => (),
+            }
         }
     }
     assert_eq!(exprs_cast, exprs_visit);
diff --git a/crates/ra_syntax/src/parsing/lexer.rs b/crates/ra_syntax/src/parsing/lexer.rs
index bdb01d40b..6d839208d 100644
--- a/crates/ra_syntax/src/parsing/lexer.rs
+++ b/crates/ra_syntax/src/parsing/lexer.rs
@@ -1,3 +1,5 @@
+//! FIXME: write short doc here
+
 use crate::{
     SyntaxKind::{self, *},
     TextUnit,
diff --git a/crates/ra_syntax/src/parsing/text_token_source.rs b/crates/ra_syntax/src/parsing/text_token_source.rs
index 64cb20ae8..e793f93a4 100644
--- a/crates/ra_syntax/src/parsing/text_token_source.rs
+++ b/crates/ra_syntax/src/parsing/text_token_source.rs
@@ -1,3 +1,5 @@
+//! FIXME: write short doc here
+
 use ra_parser::Token as PToken;
 use ra_parser::TokenSource;
 
diff --git a/crates/ra_syntax/src/parsing/text_tree_sink.rs b/crates/ra_syntax/src/parsing/text_tree_sink.rs
index be6e51780..142164316 100644
--- a/crates/ra_syntax/src/parsing/text_tree_sink.rs
+++ b/crates/ra_syntax/src/parsing/text_tree_sink.rs
@@ -1,3 +1,5 @@
+//! FIXME: write short doc here
+
 use std::mem;
 
 use ra_parser::{ParseError, TreeSink};
diff --git a/crates/ra_syntax/src/ptr.rs b/crates/ra_syntax/src/ptr.rs
index 992034ef0..31167cada 100644
--- a/crates/ra_syntax/src/ptr.rs
+++ b/crates/ra_syntax/src/ptr.rs
@@ -1,3 +1,5 @@
+//! FIXME: write short doc here
+
 use std::{iter::successors, marker::PhantomData};
 
 use crate::{AstNode, SyntaxKind, SyntaxNode, TextRange};
diff --git a/crates/ra_syntax/src/syntax_error.rs b/crates/ra_syntax/src/syntax_error.rs
index 5aefec768..d6eca2ad7 100644
--- a/crates/ra_syntax/src/syntax_error.rs
+++ b/crates/ra_syntax/src/syntax_error.rs
@@ -1,3 +1,5 @@
+//! FIXME: write short doc here
+
 use std::fmt;
 
 use ra_parser::ParseError;
diff --git a/crates/ra_syntax/src/validation.rs b/crates/ra_syntax/src/validation.rs
index 16824f3c4..ab4f15908 100644
--- a/crates/ra_syntax/src/validation.rs
+++ b/crates/ra_syntax/src/validation.rs
@@ -1,10 +1,11 @@
+//! FIXME: write short doc here
+
 mod block;
 
 use rustc_lexer::unescape;
 
 use crate::{
-    algo::visit::{visitor_ctx, VisitorCtx},
-    ast, AstNode, SyntaxError, SyntaxErrorKind,
+    ast, match_ast, AstNode, SyntaxError, SyntaxErrorKind,
     SyntaxKind::{BYTE, BYTE_STRING, CHAR, INT_NUMBER, STRING},
     SyntaxNode, SyntaxToken, TextUnit, T,
 };
@@ -95,12 +96,15 @@ impl From<rustc_lexer::unescape::EscapeError> for SyntaxErrorKind {
 pub(crate) fn validate(root: &SyntaxNode) -> Vec<SyntaxError> {
     let mut errors = Vec::new();
     for node in root.descendants() {
-        let _ = visitor_ctx(&mut errors)
-            .visit::<ast::Literal, _>(validate_literal)
-            .visit::<ast::BlockExpr, _>(block::validate_block_expr)
-            .visit::<ast::FieldExpr, _>(|it, errors| validate_numeric_name(it.name_ref(), errors))
-            .visit::<ast::RecordField, _>(|it, errors| validate_numeric_name(it.name_ref(), errors))
-            .accept(&node);
+        match_ast! {
+            match node {
+                ast::Literal(it) => { validate_literal(it, &mut errors) },
+                ast::BlockExpr(it) => { block::validate_block_expr(it, &mut errors) },
+                ast::FieldExpr(it) => { validate_numeric_name(it.name_ref(), &mut errors) },
+                ast::RecordField(it) => { validate_numeric_name(it.name_ref(), &mut errors) },
+                _ => (),
+            }
+        }
     }
     errors
 }
diff --git a/crates/ra_syntax/src/validation/block.rs b/crates/ra_syntax/src/validation/block.rs
index 3c9e96eb3..c85bbc1f4 100644
--- a/crates/ra_syntax/src/validation/block.rs
+++ b/crates/ra_syntax/src/validation/block.rs
@@ -1,3 +1,5 @@
+//! FIXME: write short doc here
+
 use crate::{
     ast::{self, AstNode, AttrsOwner},
     SyntaxError,
diff --git a/crates/ra_syntax/test_data/parser/err/0005_attribute_recover.txt b/crates/ra_syntax/test_data/parser/err/0005_attribute_recover.txt
index 378b92834..7c1a23170 100644
--- a/crates/ra_syntax/test_data/parser/err/0005_attribute_recover.txt
+++ b/crates/ra_syntax/test_data/parser/err/0005_attribute_recover.txt
@@ -2,20 +2,22 @@ SOURCE_FILE@[0; 54)
   FN_DEF@[0; 31)
     ATTR@[0; 18)
       POUND@[0; 1) "#"
-      TOKEN_TREE@[1; 18)
-        L_BRACK@[1; 2) "["
-        IDENT@[2; 5) "foo"
-        TOKEN_TREE@[5; 17)
-          L_PAREN@[5; 6) "("
-          IDENT@[6; 9) "foo"
-          COMMA@[9; 10) ","
-          WHITESPACE@[10; 11) " "
-          PLUS@[11; 12) "+"
-          COMMA@[12; 13) ","
-          WHITESPACE@[13; 14) " "
-          INT_NUMBER@[14; 16) "92"
-          R_PAREN@[16; 17) ")"
-        R_BRACK@[17; 18) "]"
+      L_BRACK@[1; 2) "["
+      PATH@[2; 5)
+        PATH_SEGMENT@[2; 5)
+          NAME_REF@[2; 5)
+            IDENT@[2; 5) "foo"
+      TOKEN_TREE@[5; 17)
+        L_PAREN@[5; 6) "("
+        IDENT@[6; 9) "foo"
+        COMMA@[9; 10) ","
+        WHITESPACE@[10; 11) " "
+        PLUS@[11; 12) "+"
+        COMMA@[12; 13) ","
+        WHITESPACE@[13; 14) " "
+        INT_NUMBER@[14; 16) "92"
+        R_PAREN@[16; 17) ")"
+      R_BRACK@[17; 18) "]"
     WHITESPACE@[18; 19) "\n"
     FN_KW@[19; 21) "fn"
     WHITESPACE@[21; 22) " "
@@ -33,24 +35,26 @@ SOURCE_FILE@[0; 54)
   WHITESPACE@[31; 34) "\n\n\n"
   ATTR@[34; 53)
     POUND@[34; 35) "#"
-    TOKEN_TREE@[35; 53)
-      L_BRACK@[35; 36) "["
-      IDENT@[36; 39) "foo"
-      TOKEN_TREE@[39; 53)
-        L_PAREN@[39; 40) "("
-        WHITESPACE@[40; 41) "\n"
-        FN_KW@[41; 43) "fn"
-        WHITESPACE@[43; 44) " "
-        IDENT@[44; 47) "foo"
-        TOKEN_TREE@[47; 49)
-          L_PAREN@[47; 48) "("
-          R_PAREN@[48; 49) ")"
-        WHITESPACE@[49; 50) " "
-        TOKEN_TREE@[50; 53)
-          L_CURLY@[50; 51) "{"
-          WHITESPACE@[51; 52) "\n"
-          R_CURLY@[52; 53) "}"
+    L_BRACK@[35; 36) "["
+    PATH@[36; 39)
+      PATH_SEGMENT@[36; 39)
+        NAME_REF@[36; 39)
+          IDENT@[36; 39) "foo"
+    TOKEN_TREE@[39; 53)
+      L_PAREN@[39; 40) "("
+      WHITESPACE@[40; 41) "\n"
+      FN_KW@[41; 43) "fn"
+      WHITESPACE@[43; 44) " "
+      IDENT@[44; 47) "foo"
+      TOKEN_TREE@[47; 49)
+        L_PAREN@[47; 48) "("
+        R_PAREN@[48; 49) ")"
+      WHITESPACE@[49; 50) " "
+      TOKEN_TREE@[50; 53)
+        L_CURLY@[50; 51) "{"
+        WHITESPACE@[51; 52) "\n"
+        R_CURLY@[52; 53) "}"
   WHITESPACE@[53; 54) "\n"
 error 53: expected R_PAREN
-error 53: expected R_BRACK
+error 53: expected `]`
 error 53: expected an item
diff --git a/crates/ra_syntax/test_data/parser/err/0028_macro_2.0.txt b/crates/ra_syntax/test_data/parser/err/0028_macro_2.0.txt
index 73d322c48..c5be73a5a 100644
--- a/crates/ra_syntax/test_data/parser/err/0028_macro_2.0.txt
+++ b/crates/ra_syntax/test_data/parser/err/0028_macro_2.0.txt
@@ -60,10 +60,12 @@ SOURCE_FILE@[0; 349)
   FN_DEF@[95; 348)
     ATTR@[95; 102)
       POUND@[95; 96) "#"
-      TOKEN_TREE@[96; 102)
-        L_BRACK@[96; 97) "["
-        IDENT@[97; 101) "test"
-        R_BRACK@[101; 102) "]"
+      L_BRACK@[96; 97) "["
+      PATH@[97; 101)
+        PATH_SEGMENT@[97; 101)
+          NAME_REF@[97; 101)
+            IDENT@[97; 101) "test"
+      R_BRACK@[101; 102) "]"
     WHITESPACE@[102; 103) "\n"
     FN_KW@[103; 105) "fn"
     WHITESPACE@[105; 106) " "
diff --git a/crates/ra_syntax/test_data/parser/err/0031_block_inner_attrs.txt b/crates/ra_syntax/test_data/parser/err/0031_block_inner_attrs.txt
index f67325b76..522a0d0e0 100644
--- a/crates/ra_syntax/test_data/parser/err/0031_block_inner_attrs.txt
+++ b/crates/ra_syntax/test_data/parser/err/0031_block_inner_attrs.txt
@@ -28,14 +28,16 @@ SOURCE_FILE@[0; 350)
               ATTR@[39; 83)
                 POUND@[39; 40) "#"
                 EXCL@[40; 41) "!"
-                TOKEN_TREE@[41; 83)
-                  L_BRACK@[41; 42) "["
-                  IDENT@[42; 45) "doc"
-                  TOKEN_TREE@[45; 82)
-                    L_PAREN@[45; 46) "("
-                    STRING@[46; 81) "\"Inner attributes not ..."
-                    R_PAREN@[81; 82) ")"
-                  R_BRACK@[82; 83) "]"
+                L_BRACK@[41; 42) "["
+                PATH@[42; 45)
+                  PATH_SEGMENT@[42; 45)
+                    NAME_REF@[42; 45)
+                      IDENT@[42; 45) "doc"
+                TOKEN_TREE@[45; 82)
+                  L_PAREN@[45; 46) "("
+                  STRING@[46; 81) "\"Inner attributes not ..."
+                  R_PAREN@[81; 82) ")"
+                R_BRACK@[82; 83) "]"
               WHITESPACE@[83; 92) "\n        "
               COMMENT@[92; 122) "//! Nor are ModuleDoc ..."
               WHITESPACE@[122; 127) "\n    "
@@ -57,26 +59,30 @@ SOURCE_FILE@[0; 350)
                 ATTR@[152; 171)
                   POUND@[152; 153) "#"
                   EXCL@[153; 154) "!"
-                  TOKEN_TREE@[154; 171)
-                    L_BRACK@[154; 155) "["
-                    IDENT@[155; 158) "doc"
-                    TOKEN_TREE@[158; 170)
-                      L_PAREN@[158; 159) "("
-                      STRING@[159; 169) "\"Nor here\""
-                      R_PAREN@[169; 170) ")"
-                    R_BRACK@[170; 171) "]"
+                  L_BRACK@[154; 155) "["
+                  PATH@[155; 158)
+                    PATH_SEGMENT@[155; 158)
+                      NAME_REF@[155; 158)
+                        IDENT@[155; 158) "doc"
+                  TOKEN_TREE@[158; 170)
+                    L_PAREN@[158; 159) "("
+                    STRING@[159; 169) "\"Nor here\""
+                    R_PAREN@[169; 170) ")"
+                  R_BRACK@[170; 171) "]"
                 WHITESPACE@[171; 180) "\n        "
                 ATTR@[180; 212)
                   POUND@[180; 181) "#"
                   EXCL@[181; 182) "!"
-                  TOKEN_TREE@[182; 212)
-                    L_BRACK@[182; 183) "["
-                    IDENT@[183; 186) "doc"
-                    TOKEN_TREE@[186; 211)
-                      L_PAREN@[186; 187) "("
-                      STRING@[187; 210) "\"We error on each attr\""
-                      R_PAREN@[210; 211) ")"
-                    R_BRACK@[211; 212) "]"
+                  L_BRACK@[182; 183) "["
+                  PATH@[183; 186)
+                    PATH_SEGMENT@[183; 186)
+                      NAME_REF@[183; 186)
+                        IDENT@[183; 186) "doc"
+                  TOKEN_TREE@[186; 211)
+                    L_PAREN@[186; 187) "("
+                    STRING@[187; 210) "\"We error on each attr\""
+                    R_PAREN@[210; 211) ")"
+                  R_BRACK@[211; 212) "]"
                 WHITESPACE@[212; 221) "\n        "
                 COMMENT@[221; 251) "//! Nor are ModuleDoc ..."
                 WHITESPACE@[251; 256) "\n    "
@@ -96,14 +102,16 @@ SOURCE_FILE@[0; 350)
               ATTR@[283; 302)
                 POUND@[283; 284) "#"
                 EXCL@[284; 285) "!"
-                TOKEN_TREE@[285; 302)
-                  L_BRACK@[285; 286) "["
-                  IDENT@[286; 289) "doc"
-                  TOKEN_TREE@[289; 301)
-                    L_PAREN@[289; 290) "("
-                    STRING@[290; 300) "\"Nor here\""
-                    R_PAREN@[300; 301) ")"
-                  R_BRACK@[301; 302) "]"
+                L_BRACK@[285; 286) "["
+                PATH@[286; 289)
+                  PATH_SEGMENT@[286; 289)
+                    NAME_REF@[286; 289)
+                      IDENT@[286; 289) "doc"
+                TOKEN_TREE@[289; 301)
+                  L_PAREN@[289; 290) "("
+                  STRING@[290; 300) "\"Nor here\""
+                  R_PAREN@[300; 301) ")"
+                R_BRACK@[301; 302) "]"
               WHITESPACE@[302; 311) "\n        "
               COMMENT@[311; 341) "//! Nor are ModuleDoc ..."
               WHITESPACE@[341; 346) "\n    "
diff --git a/crates/ra_syntax/test_data/parser/err/0032_match_arms_inner_attrs.txt b/crates/ra_syntax/test_data/parser/err/0032_match_arms_inner_attrs.txt
index 1344fcbc2..dbc0081ac 100644
--- a/crates/ra_syntax/test_data/parser/err/0032_match_arms_inner_attrs.txt
+++ b/crates/ra_syntax/test_data/parser/err/0032_match_arms_inner_attrs.txt
@@ -135,14 +135,16 @@ SOURCE_FILE@[0; 293)
             MATCH_ARM@[210; 250)
               ATTR@[210; 222)
                 POUND@[210; 211) "#"
-                TOKEN_TREE@[211; 222)
-                  L_BRACK@[211; 212) "["
-                  IDENT@[212; 215) "cfg"
-                  TOKEN_TREE@[215; 221)
-                    L_PAREN@[215; 216) "("
-                    IDENT@[216; 220) "test"
-                    R_PAREN@[220; 221) ")"
-                  R_BRACK@[221; 222) "]"
+                L_BRACK@[211; 212) "["
+                PATH@[212; 215)
+                  PATH_SEGMENT@[212; 215)
+                    NAME_REF@[212; 215)
+                      IDENT@[212; 215) "cfg"
+                TOKEN_TREE@[215; 221)
+                  L_PAREN@[215; 216) "("
+                  IDENT@[216; 220) "test"
+                  R_PAREN@[220; 221) ")"
+                R_BRACK@[221; 222) "]"
               WHITESPACE@[222; 231) "\n        "
               ATTR@[231; 232)
                 POUND@[231; 232) "#"
diff --git a/crates/ra_syntax/test_data/parser/err/0033_match_arms_outer_attrs.txt b/crates/ra_syntax/test_data/parser/err/0033_match_arms_outer_attrs.txt
index b65cc3de3..fd5ccc3f2 100644
--- a/crates/ra_syntax/test_data/parser/err/0033_match_arms_outer_attrs.txt
+++ b/crates/ra_syntax/test_data/parser/err/0033_match_arms_outer_attrs.txt
@@ -47,14 +47,16 @@ SOURCE_FILE@[0; 89)
             MATCH_ARM@[68; 80)
               ATTR@[68; 80)
                 POUND@[68; 69) "#"
-                TOKEN_TREE@[69; 80)
-                  L_BRACK@[69; 70) "["
-                  IDENT@[70; 73) "cfg"
-                  TOKEN_TREE@[73; 79)
-                    L_PAREN@[73; 74) "("
-                    IDENT@[74; 78) "test"
-                    R_PAREN@[78; 79) ")"
-                  R_BRACK@[79; 80) "]"
+                L_BRACK@[69; 70) "["
+                PATH@[70; 73)
+                  PATH_SEGMENT@[70; 73)
+                    NAME_REF@[70; 73)
+                      IDENT@[70; 73) "cfg"
+                TOKEN_TREE@[73; 79)
+                  L_PAREN@[73; 74) "("
+                  IDENT@[74; 78) "test"
+                  R_PAREN@[78; 79) ")"
+                R_BRACK@[79; 80) "]"
             WHITESPACE@[80; 85) "\n    "
             R_CURLY@[85; 86) "}"
         WHITESPACE@[86; 87) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/err/0009_attr_on_expr_not_allowed.txt b/crates/ra_syntax/test_data/parser/inline/err/0009_attr_on_expr_not_allowed.txt
index eab9f5b91..2ca5b8f32 100644
--- a/crates/ra_syntax/test_data/parser/inline/err/0009_attr_on_expr_not_allowed.txt
+++ b/crates/ra_syntax/test_data/parser/inline/err/0009_attr_on_expr_not_allowed.txt
@@ -15,10 +15,12 @@ SOURCE_FILE@[0; 48)
         EXPR_STMT@[14; 25)
           ATTR@[14; 18)
             POUND@[14; 15) "#"
-            TOKEN_TREE@[15; 18)
-              L_BRACK@[15; 16) "["
-              IDENT@[16; 17) "A"
-              R_BRACK@[17; 18) "]"
+            L_BRACK@[15; 16) "["
+            PATH@[16; 17)
+              PATH_SEGMENT@[16; 17)
+                NAME_REF@[16; 17)
+                  IDENT@[16; 17) "A"
+            R_BRACK@[17; 18) "]"
           WHITESPACE@[18; 19) " "
           BIN_EXPR@[19; 24)
             LITERAL@[19; 20)
@@ -33,10 +35,12 @@ SOURCE_FILE@[0; 48)
         EXPR_STMT@[29; 45)
           ATTR@[29; 33)
             POUND@[29; 30) "#"
-            TOKEN_TREE@[30; 33)
-              L_BRACK@[30; 31) "["
-              IDENT@[31; 32) "B"
-              R_BRACK@[32; 33) "]"
+            L_BRACK@[30; 31) "["
+            PATH@[31; 32)
+              PATH_SEGMENT@[31; 32)
+                NAME_REF@[31; 32)
+                  IDENT@[31; 32) "B"
+            R_BRACK@[32; 33) "]"
           WHITESPACE@[33; 34) " "
           IF_EXPR@[34; 44)
             IF_KW@[34; 36) "if"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0031_while_expr.rs b/crates/ra_syntax/test_data/parser/inline/ok/0031_while_expr.rs
index 293046a04..2f8188160 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0031_while_expr.rs
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0031_while_expr.rs
@@ -1,4 +1,5 @@
 fn foo() {
     while true {};
     while let Some(x) = it.next() {};
+    while { true } {};
 }
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0031_while_expr.txt b/crates/ra_syntax/test_data/parser/inline/ok/0031_while_expr.txt
index 9b43d624c..a6e14a114 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0031_while_expr.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0031_while_expr.txt
@@ -1,5 +1,5 @@
-SOURCE_FILE@[0; 70)
-  FN_DEF@[0; 69)
+SOURCE_FILE@[0; 93)
+  FN_DEF@[0; 92)
     FN_KW@[0; 2) "fn"
     WHITESPACE@[2; 3) " "
     NAME@[3; 6)
@@ -8,8 +8,8 @@ SOURCE_FILE@[0; 70)
       L_PAREN@[6; 7) "("
       R_PAREN@[7; 8) ")"
     WHITESPACE@[8; 9) " "
-    BLOCK_EXPR@[9; 69)
-      BLOCK@[9; 69)
+    BLOCK_EXPR@[9; 92)
+      BLOCK@[9; 92)
         L_CURLY@[9; 10) "{"
         WHITESPACE@[10; 15) "\n    "
         EXPR_STMT@[15; 29)
@@ -64,6 +64,26 @@ SOURCE_FILE@[0; 70)
                 L_CURLY@[64; 65) "{"
                 R_CURLY@[65; 66) "}"
           SEMI@[66; 67) ";"
-        WHITESPACE@[67; 68) "\n"
-        R_CURLY@[68; 69) "}"
-  WHITESPACE@[69; 70) "\n"
+        WHITESPACE@[67; 72) "\n    "
+        EXPR_STMT@[72; 90)
+          WHILE_EXPR@[72; 89)
+            WHILE_KW@[72; 77) "while"
+            WHITESPACE@[77; 78) " "
+            CONDITION@[78; 86)
+              BLOCK_EXPR@[78; 86)
+                BLOCK@[78; 86)
+                  L_CURLY@[78; 79) "{"
+                  WHITESPACE@[79; 80) " "
+                  LITERAL@[80; 84)
+                    TRUE_KW@[80; 84) "true"
+                  WHITESPACE@[84; 85) " "
+                  R_CURLY@[85; 86) "}"
+            WHITESPACE@[86; 87) " "
+            BLOCK_EXPR@[87; 89)
+              BLOCK@[87; 89)
+                L_CURLY@[87; 88) "{"
+                R_CURLY@[88; 89) "}"
+          SEMI@[89; 90) ";"
+        WHITESPACE@[90; 91) "\n"
+        R_CURLY@[91; 92) "}"
+  WHITESPACE@[92; 93) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0054_record_field_attrs.txt b/crates/ra_syntax/test_data/parser/inline/ok/0054_record_field_attrs.txt
index 56aeba768..731c31f76 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0054_record_field_attrs.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0054_record_field_attrs.txt
@@ -11,18 +11,20 @@ SOURCE_FILE@[0; 64)
       RECORD_FIELD_DEF@[15; 60)
         ATTR@[15; 43)
           POUND@[15; 16) "#"
-          TOKEN_TREE@[16; 43)
-            L_BRACK@[16; 17) "["
-            IDENT@[17; 22) "serde"
-            TOKEN_TREE@[22; 42)
-              L_PAREN@[22; 23) "("
-              IDENT@[23; 27) "with"
-              WHITESPACE@[27; 28) " "
-              EQ@[28; 29) "="
-              WHITESPACE@[29; 30) " "
-              STRING@[30; 41) "\"url_serde\""
-              R_PAREN@[41; 42) ")"
-            R_BRACK@[42; 43) "]"
+          L_BRACK@[16; 17) "["
+          PATH@[17; 22)
+            PATH_SEGMENT@[17; 22)
+              NAME_REF@[17; 22)
+                IDENT@[17; 22) "serde"
+          TOKEN_TREE@[22; 42)
+            L_PAREN@[22; 23) "("
+            IDENT@[23; 27) "with"
+            WHITESPACE@[27; 28) " "
+            EQ@[28; 29) "="
+            WHITESPACE@[29; 30) " "
+            STRING@[30; 41) "\"url_serde\""
+            R_PAREN@[41; 42) ")"
+          R_BRACK@[42; 43) "]"
         WHITESPACE@[43; 48) "\n    "
         VISIBILITY@[48; 51)
           PUB_KW@[48; 51) "pub"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0064_if_expr.rs b/crates/ra_syntax/test_data/parser/inline/ok/0064_if_expr.rs
index 4b0d9af89..40f227ba3 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0064_if_expr.rs
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0064_if_expr.rs
@@ -3,4 +3,5 @@ fn foo() {
     if true {} else {};
     if true {} else if false {} else {};
     if S {};
+    if { true } { } else { };
 }
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0064_if_expr.txt b/crates/ra_syntax/test_data/parser/inline/ok/0064_if_expr.txt
index 14ea91fd2..2ace3c8ee 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0064_if_expr.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0064_if_expr.txt
@@ -1,5 +1,5 @@
-SOURCE_FILE@[0; 107)
-  FN_DEF@[0; 106)
+SOURCE_FILE@[0; 137)
+  FN_DEF@[0; 136)
     FN_KW@[0; 2) "fn"
     WHITESPACE@[2; 3) " "
     NAME@[3; 6)
@@ -8,8 +8,8 @@ SOURCE_FILE@[0; 107)
       L_PAREN@[6; 7) "("
       R_PAREN@[7; 8) ")"
     WHITESPACE@[8; 9) " "
-    BLOCK_EXPR@[9; 106)
-      BLOCK@[9; 106)
+    BLOCK_EXPR@[9; 136)
+      BLOCK@[9; 136)
         L_CURLY@[9; 10) "{"
         WHITESPACE@[10; 15) "\n    "
         EXPR_STMT@[15; 26)
@@ -98,6 +98,35 @@ SOURCE_FILE@[0; 107)
                 L_CURLY@[101; 102) "{"
                 R_CURLY@[102; 103) "}"
           SEMI@[103; 104) ";"
-        WHITESPACE@[104; 105) "\n"
-        R_CURLY@[105; 106) "}"
-  WHITESPACE@[106; 107) "\n"
+        WHITESPACE@[104; 109) "\n    "
+        EXPR_STMT@[109; 134)
+          IF_EXPR@[109; 133)
+            IF_KW@[109; 111) "if"
+            WHITESPACE@[111; 112) " "
+            CONDITION@[112; 120)
+              BLOCK_EXPR@[112; 120)
+                BLOCK@[112; 120)
+                  L_CURLY@[112; 113) "{"
+                  WHITESPACE@[113; 114) " "
+                  LITERAL@[114; 118)
+                    TRUE_KW@[114; 118) "true"
+                  WHITESPACE@[118; 119) " "
+                  R_CURLY@[119; 120) "}"
+            WHITESPACE@[120; 121) " "
+            BLOCK_EXPR@[121; 124)
+              BLOCK@[121; 124)
+                L_CURLY@[121; 122) "{"
+                WHITESPACE@[122; 123) " "
+                R_CURLY@[123; 124) "}"
+            WHITESPACE@[124; 125) " "
+            ELSE_KW@[125; 129) "else"
+            WHITESPACE@[129; 130) " "
+            BLOCK_EXPR@[130; 133)
+              BLOCK@[130; 133)
+                L_CURLY@[130; 131) "{"
+                WHITESPACE@[131; 132) " "
+                R_CURLY@[132; 133) "}"
+          SEMI@[133; 134) ";"
+        WHITESPACE@[134; 135) "\n"
+        R_CURLY@[135; 136) "}"
+  WHITESPACE@[136; 137) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0071_match_expr.rs b/crates/ra_syntax/test_data/parser/inline/ok/0071_match_expr.rs
index c9205dfa3..c4021dc10 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0071_match_expr.rs
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0071_match_expr.rs
@@ -1,4 +1,6 @@
 fn foo() {
     match () { };
     match S {};
+    match { } { _ => () };
+    match { S {} } {};
 }
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0071_match_expr.txt b/crates/ra_syntax/test_data/parser/inline/ok/0071_match_expr.txt
index f62b6c6d5..0af668056 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0071_match_expr.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0071_match_expr.txt
@@ -1,5 +1,5 @@
-SOURCE_FILE@[0; 47)
-  FN_DEF@[0; 46)
+SOURCE_FILE@[0; 97)
+  FN_DEF@[0; 96)
     FN_KW@[0; 2) "fn"
     WHITESPACE@[2; 3) " "
     NAME@[3; 6)
@@ -8,8 +8,8 @@ SOURCE_FILE@[0; 47)
       L_PAREN@[6; 7) "("
       R_PAREN@[7; 8) ")"
     WHITESPACE@[8; 9) " "
-    BLOCK_EXPR@[9; 46)
-      BLOCK@[9; 46)
+    BLOCK_EXPR@[9; 96)
+      BLOCK@[9; 96)
         L_CURLY@[9; 10) "{"
         WHITESPACE@[10; 15) "\n    "
         EXPR_STMT@[15; 28)
@@ -40,6 +40,57 @@ SOURCE_FILE@[0; 47)
               L_CURLY@[41; 42) "{"
               R_CURLY@[42; 43) "}"
           SEMI@[43; 44) ";"
-        WHITESPACE@[44; 45) "\n"
-        R_CURLY@[45; 46) "}"
-  WHITESPACE@[46; 47) "\n"
+        WHITESPACE@[44; 49) "\n    "
+        EXPR_STMT@[49; 71)
+          MATCH_EXPR@[49; 70)
+            MATCH_KW@[49; 54) "match"
+            WHITESPACE@[54; 55) " "
+            BLOCK_EXPR@[55; 58)
+              BLOCK@[55; 58)
+                L_CURLY@[55; 56) "{"
+                WHITESPACE@[56; 57) " "
+                R_CURLY@[57; 58) "}"
+            WHITESPACE@[58; 59) " "
+            MATCH_ARM_LIST@[59; 70)
+              L_CURLY@[59; 60) "{"
+              WHITESPACE@[60; 61) " "
+              MATCH_ARM@[61; 68)
+                PLACEHOLDER_PAT@[61; 62)
+                  UNDERSCORE@[61; 62) "_"
+                WHITESPACE@[62; 63) " "
+                FAT_ARROW@[63; 65) "=>"
+                WHITESPACE@[65; 66) " "
+                TUPLE_EXPR@[66; 68)
+                  L_PAREN@[66; 67) "("
+                  R_PAREN@[67; 68) ")"
+              WHITESPACE@[68; 69) " "
+              R_CURLY@[69; 70) "}"
+          SEMI@[70; 71) ";"
+        WHITESPACE@[71; 76) "\n    "
+        EXPR_STMT@[76; 94)
+          MATCH_EXPR@[76; 93)
+            MATCH_KW@[76; 81) "match"
+            WHITESPACE@[81; 82) " "
+            BLOCK_EXPR@[82; 90)
+              BLOCK@[82; 90)
+                L_CURLY@[82; 83) "{"
+                WHITESPACE@[83; 84) " "
+                RECORD_LIT@[84; 88)
+                  PATH@[84; 85)
+                    PATH_SEGMENT@[84; 85)
+                      NAME_REF@[84; 85)
+                        IDENT@[84; 85) "S"
+                  WHITESPACE@[85; 86) " "
+                  RECORD_FIELD_LIST@[86; 88)
+                    L_CURLY@[86; 87) "{"
+                    R_CURLY@[87; 88) "}"
+                WHITESPACE@[88; 89) " "
+                R_CURLY@[89; 90) "}"
+            WHITESPACE@[90; 91) " "
+            MATCH_ARM_LIST@[91; 93)
+              L_CURLY@[91; 92) "{"
+              R_CURLY@[92; 93) "}"
+          SEMI@[93; 94) ";"
+        WHITESPACE@[94; 95) "\n"
+        R_CURLY@[95; 96) "}"
+  WHITESPACE@[96; 97) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0080_postfix_range.rs b/crates/ra_syntax/test_data/parser/inline/ok/0080_postfix_range.rs
index c39fe8e68..e7b7cfc6b 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0080_postfix_range.rs
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0080_postfix_range.rs
@@ -1 +1,5 @@
-fn foo() { let x = 1..; }
+fn foo() {
+    let x = 1..;
+    match 1.. { _ => () };
+    match a.b()..S { _ => () };
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0080_postfix_range.txt b/crates/ra_syntax/test_data/parser/inline/ok/0080_postfix_range.txt
index f3c292f5e..9f8a6b0f6 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0080_postfix_range.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0080_postfix_range.txt
@@ -1,5 +1,5 @@
-SOURCE_FILE@[0; 26)
-  FN_DEF@[0; 25)
+SOURCE_FILE@[0; 89)
+  FN_DEF@[0; 88)
     FN_KW@[0; 2) "fn"
     WHITESPACE@[2; 3) " "
     NAME@[3; 6)
@@ -8,24 +8,89 @@ SOURCE_FILE@[0; 26)
       L_PAREN@[6; 7) "("
       R_PAREN@[7; 8) ")"
     WHITESPACE@[8; 9) " "
-    BLOCK_EXPR@[9; 25)
-      BLOCK@[9; 25)
+    BLOCK_EXPR@[9; 88)
+      BLOCK@[9; 88)
         L_CURLY@[9; 10) "{"
-        WHITESPACE@[10; 11) " "
-        LET_STMT@[11; 23)
-          LET_KW@[11; 14) "let"
-          WHITESPACE@[14; 15) " "
-          BIND_PAT@[15; 16)
-            NAME@[15; 16)
-              IDENT@[15; 16) "x"
-          WHITESPACE@[16; 17) " "
-          EQ@[17; 18) "="
+        WHITESPACE@[10; 15) "\n    "
+        LET_STMT@[15; 27)
+          LET_KW@[15; 18) "let"
           WHITESPACE@[18; 19) " "
-          RANGE_EXPR@[19; 22)
-            LITERAL@[19; 20)
-              INT_NUMBER@[19; 20) "1"
-            DOTDOT@[20; 22) ".."
-          SEMI@[22; 23) ";"
-        WHITESPACE@[23; 24) " "
-        R_CURLY@[24; 25) "}"
-  WHITESPACE@[25; 26) "\n"
+          BIND_PAT@[19; 20)
+            NAME@[19; 20)
+              IDENT@[19; 20) "x"
+          WHITESPACE@[20; 21) " "
+          EQ@[21; 22) "="
+          WHITESPACE@[22; 23) " "
+          RANGE_EXPR@[23; 26)
+            LITERAL@[23; 24)
+              INT_NUMBER@[23; 24) "1"
+            DOTDOT@[24; 26) ".."
+          SEMI@[26; 27) ";"
+        WHITESPACE@[27; 32) "\n    "
+        EXPR_STMT@[32; 54)
+          MATCH_EXPR@[32; 53)
+            MATCH_KW@[32; 37) "match"
+            WHITESPACE@[37; 38) " "
+            RANGE_EXPR@[38; 41)
+              LITERAL@[38; 39)
+                INT_NUMBER@[38; 39) "1"
+              DOTDOT@[39; 41) ".."
+            WHITESPACE@[41; 42) " "
+            MATCH_ARM_LIST@[42; 53)
+              L_CURLY@[42; 43) "{"
+              WHITESPACE@[43; 44) " "
+              MATCH_ARM@[44; 51)
+                PLACEHOLDER_PAT@[44; 45)
+                  UNDERSCORE@[44; 45) "_"
+                WHITESPACE@[45; 46) " "
+                FAT_ARROW@[46; 48) "=>"
+                WHITESPACE@[48; 49) " "
+                TUPLE_EXPR@[49; 51)
+                  L_PAREN@[49; 50) "("
+                  R_PAREN@[50; 51) ")"
+              WHITESPACE@[51; 52) " "
+              R_CURLY@[52; 53) "}"
+          SEMI@[53; 54) ";"
+        WHITESPACE@[54; 59) "\n    "
+        EXPR_STMT@[59; 86)
+          MATCH_EXPR@[59; 85)
+            MATCH_KW@[59; 64) "match"
+            WHITESPACE@[64; 65) " "
+            RANGE_EXPR@[65; 73)
+              METHOD_CALL_EXPR@[65; 70)
+                PATH_EXPR@[65; 66)
+                  PATH@[65; 66)
+                    PATH_SEGMENT@[65; 66)
+                      NAME_REF@[65; 66)
+                        IDENT@[65; 66) "a"
+                DOT@[66; 67) "."
+                NAME_REF@[67; 68)
+                  IDENT@[67; 68) "b"
+                ARG_LIST@[68; 70)
+                  L_PAREN@[68; 69) "("
+                  R_PAREN@[69; 70) ")"
+              DOTDOT@[70; 72) ".."
+              PATH_EXPR@[72; 73)
+                PATH@[72; 73)
+                  PATH_SEGMENT@[72; 73)
+                    NAME_REF@[72; 73)
+                      IDENT@[72; 73) "S"
+            WHITESPACE@[73; 74) " "
+            MATCH_ARM_LIST@[74; 85)
+              L_CURLY@[74; 75) "{"
+              WHITESPACE@[75; 76) " "
+              MATCH_ARM@[76; 83)
+                PLACEHOLDER_PAT@[76; 77)
+                  UNDERSCORE@[76; 77) "_"
+                WHITESPACE@[77; 78) " "
+                FAT_ARROW@[78; 80) "=>"
+                WHITESPACE@[80; 81) " "
+                TUPLE_EXPR@[81; 83)
+                  L_PAREN@[81; 82) "("
+                  R_PAREN@[82; 83) ")"
+              WHITESPACE@[83; 84) " "
+              R_CURLY@[84; 85) "}"
+          SEMI@[85; 86) ";"
+        WHITESPACE@[86; 87) "\n"
+        R_CURLY@[87; 88) "}"
+  WHITESPACE@[88; 89) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0115_tuple_field_attrs.txt b/crates/ra_syntax/test_data/parser/inline/ok/0115_tuple_field_attrs.txt
index cb6d9f76d..8fe15d8e2 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0115_tuple_field_attrs.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0115_tuple_field_attrs.txt
@@ -11,18 +11,20 @@ SOURCE_FILE@[0; 60)
       TUPLE_FIELD_DEF@[15; 55)
         ATTR@[15; 43)
           POUND@[15; 16) "#"
-          TOKEN_TREE@[16; 43)
-            L_BRACK@[16; 17) "["
-            IDENT@[17; 22) "serde"
-            TOKEN_TREE@[22; 42)
-              L_PAREN@[22; 23) "("
-              IDENT@[23; 27) "with"
-              WHITESPACE@[27; 28) " "
-              EQ@[28; 29) "="
-              WHITESPACE@[29; 30) " "
-              STRING@[30; 41) "\"url_serde\""
-              R_PAREN@[41; 42) ")"
-            R_BRACK@[42; 43) "]"
+          L_BRACK@[16; 17) "["
+          PATH@[17; 22)
+            PATH_SEGMENT@[17; 22)
+              NAME_REF@[17; 22)
+                IDENT@[17; 22) "serde"
+          TOKEN_TREE@[22; 42)
+            L_PAREN@[22; 23) "("
+            IDENT@[23; 27) "with"
+            WHITESPACE@[27; 28) " "
+            EQ@[28; 29) "="
+            WHITESPACE@[29; 30) " "
+            STRING@[30; 41) "\"url_serde\""
+            R_PAREN@[41; 42) ")"
+          R_BRACK@[42; 43) "]"
         WHITESPACE@[43; 48) "\n    "
         VISIBILITY@[48; 51)
           PUB_KW@[48; 51) "pub"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0118_impl_inner_attributes.txt b/crates/ra_syntax/test_data/parser/inline/ok/0118_impl_inner_attributes.txt
index 0ef3eeb75..0e9e9b95b 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0118_impl_inner_attributes.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0118_impl_inner_attributes.txt
@@ -25,14 +25,16 @@ SOURCE_FILE@[0; 94)
       ATTR@[54; 91)
         POUND@[54; 55) "#"
         EXCL@[55; 56) "!"
-        TOKEN_TREE@[56; 91)
-          L_BRACK@[56; 57) "["
-          IDENT@[57; 60) "doc"
-          TOKEN_TREE@[60; 90)
-            L_PAREN@[60; 61) "("
-            STRING@[61; 89) "\"This is also a doc c ..."
-            R_PAREN@[89; 90) ")"
-          R_BRACK@[90; 91) "]"
+        L_BRACK@[56; 57) "["
+        PATH@[57; 60)
+          PATH_SEGMENT@[57; 60)
+            NAME_REF@[57; 60)
+              IDENT@[57; 60) "doc"
+        TOKEN_TREE@[60; 90)
+          L_PAREN@[60; 61) "("
+          STRING@[61; 89) "\"This is also a doc c ..."
+          R_PAREN@[89; 90) ")"
+        R_BRACK@[90; 91) "]"
       WHITESPACE@[91; 92) "\n"
       R_CURLY@[92; 93) "}"
   WHITESPACE@[93; 94) "\n"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0120_match_arms_inner_attribute.txt b/crates/ra_syntax/test_data/parser/inline/ok/0120_match_arms_inner_attribute.txt
index 3bbeb62bc..640e0640f 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0120_match_arms_inner_attribute.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0120_match_arms_inner_attribute.txt
@@ -25,38 +25,44 @@ SOURCE_FILE@[0; 139)
             ATTR@[34; 60)
               POUND@[34; 35) "#"
               EXCL@[35; 36) "!"
-              TOKEN_TREE@[36; 60)
-                L_BRACK@[36; 37) "["
-                IDENT@[37; 40) "doc"
-                TOKEN_TREE@[40; 59)
-                  L_PAREN@[40; 41) "("
-                  STRING@[41; 58) "\"Inner attribute\""
-                  R_PAREN@[58; 59) ")"
-                R_BRACK@[59; 60) "]"
+              L_BRACK@[36; 37) "["
+              PATH@[37; 40)
+                PATH_SEGMENT@[37; 40)
+                  NAME_REF@[37; 40)
+                    IDENT@[37; 40) "doc"
+              TOKEN_TREE@[40; 59)
+                L_PAREN@[40; 41) "("
+                STRING@[41; 58) "\"Inner attribute\""
+                R_PAREN@[58; 59) ")"
+              R_BRACK@[59; 60) "]"
             WHITESPACE@[60; 69) "\n        "
             ATTR@[69; 86)
               POUND@[69; 70) "#"
               EXCL@[70; 71) "!"
-              TOKEN_TREE@[71; 86)
-                L_BRACK@[71; 72) "["
-                IDENT@[72; 75) "doc"
-                TOKEN_TREE@[75; 85)
-                  L_PAREN@[75; 76) "("
-                  STRING@[76; 84) "\"Can be\""
-                  R_PAREN@[84; 85) ")"
-                R_BRACK@[85; 86) "]"
+              L_BRACK@[71; 72) "["
+              PATH@[72; 75)
+                PATH_SEGMENT@[72; 75)
+                  NAME_REF@[72; 75)
+                    IDENT@[72; 75) "doc"
+              TOKEN_TREE@[75; 85)
+                L_PAREN@[75; 76) "("
+                STRING@[76; 84) "\"Can be\""
+                R_PAREN@[84; 85) ")"
+              R_BRACK@[85; 86) "]"
             WHITESPACE@[86; 95) "\n        "
             ATTR@[95; 113)
               POUND@[95; 96) "#"
               EXCL@[96; 97) "!"
-              TOKEN_TREE@[97; 113)
-                L_BRACK@[97; 98) "["
-                IDENT@[98; 101) "doc"
-                TOKEN_TREE@[101; 112)
-                  L_PAREN@[101; 102) "("
-                  STRING@[102; 111) "\"Stacked\""
-                  R_PAREN@[111; 112) ")"
-                R_BRACK@[112; 113) "]"
+              L_BRACK@[97; 98) "["
+              PATH@[98; 101)
+                PATH_SEGMENT@[98; 101)
+                  NAME_REF@[98; 101)
+                    IDENT@[98; 101) "doc"
+              TOKEN_TREE@[101; 112)
+                L_PAREN@[101; 102) "("
+                STRING@[102; 111) "\"Stacked\""
+                R_PAREN@[111; 112) ")"
+              R_BRACK@[112; 113) "]"
             WHITESPACE@[113; 122) "\n        "
             MATCH_ARM@[122; 129)
               PLACEHOLDER_PAT@[122; 123)
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0121_match_arms_outer_attributes.txt b/crates/ra_syntax/test_data/parser/inline/ok/0121_match_arms_outer_attributes.txt
index 5fd0adfc2..ff380b448 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0121_match_arms_outer_attributes.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0121_match_arms_outer_attributes.txt
@@ -25,18 +25,20 @@ SOURCE_FILE@[0; 259)
             MATCH_ARM@[34; 74)
               ATTR@[34; 58)
                 POUND@[34; 35) "#"
-                TOKEN_TREE@[35; 58)
-                  L_BRACK@[35; 36) "["
-                  IDENT@[36; 39) "cfg"
-                  TOKEN_TREE@[39; 57)
-                    L_PAREN@[39; 40) "("
-                    IDENT@[40; 47) "feature"
-                    WHITESPACE@[47; 48) " "
-                    EQ@[48; 49) "="
-                    WHITESPACE@[49; 50) " "
-                    STRING@[50; 56) "\"some\""
-                    R_PAREN@[56; 57) ")"
-                  R_BRACK@[57; 58) "]"
+                L_BRACK@[35; 36) "["
+                PATH@[36; 39)
+                  PATH_SEGMENT@[36; 39)
+                    NAME_REF@[36; 39)
+                      IDENT@[36; 39) "cfg"
+                TOKEN_TREE@[39; 57)
+                  L_PAREN@[39; 40) "("
+                  IDENT@[40; 47) "feature"
+                  WHITESPACE@[47; 48) " "
+                  EQ@[48; 49) "="
+                  WHITESPACE@[49; 50) " "
+                  STRING@[50; 56) "\"some\""
+                  R_PAREN@[56; 57) ")"
+                R_BRACK@[57; 58) "]"
               WHITESPACE@[58; 67) "\n        "
               PLACEHOLDER_PAT@[67; 68)
                 UNDERSCORE@[67; 68) "_"
@@ -51,18 +53,20 @@ SOURCE_FILE@[0; 259)
             MATCH_ARM@[84; 125)
               ATTR@[84; 109)
                 POUND@[84; 85) "#"
-                TOKEN_TREE@[85; 109)
-                  L_BRACK@[85; 86) "["
-                  IDENT@[86; 89) "cfg"
-                  TOKEN_TREE@[89; 108)
-                    L_PAREN@[89; 90) "("
-                    IDENT@[90; 97) "feature"
-                    WHITESPACE@[97; 98) " "
-                    EQ@[98; 99) "="
-                    WHITESPACE@[99; 100) " "
-                    STRING@[100; 107) "\"other\""
-                    R_PAREN@[107; 108) ")"
-                  R_BRACK@[108; 109) "]"
+                L_BRACK@[85; 86) "["
+                PATH@[86; 89)
+                  PATH_SEGMENT@[86; 89)
+                    NAME_REF@[86; 89)
+                      IDENT@[86; 89) "cfg"
+                TOKEN_TREE@[89; 108)
+                  L_PAREN@[89; 90) "("
+                  IDENT@[90; 97) "feature"
+                  WHITESPACE@[97; 98) " "
+                  EQ@[98; 99) "="
+                  WHITESPACE@[99; 100) " "
+                  STRING@[100; 107) "\"other\""
+                  R_PAREN@[107; 108) ")"
+                R_BRACK@[108; 109) "]"
               WHITESPACE@[109; 118) "\n        "
               PLACEHOLDER_PAT@[118; 119)
                 UNDERSCORE@[118; 119) "_"
@@ -77,48 +81,54 @@ SOURCE_FILE@[0; 259)
             MATCH_ARM@[135; 249)
               ATTR@[135; 159)
                 POUND@[135; 136) "#"
-                TOKEN_TREE@[136; 159)
-                  L_BRACK@[136; 137) "["
-                  IDENT@[137; 140) "cfg"
-                  TOKEN_TREE@[140; 158)
-                    L_PAREN@[140; 141) "("
-                    IDENT@[141; 148) "feature"
-                    WHITESPACE@[148; 149) " "
-                    EQ@[149; 150) "="
-                    WHITESPACE@[150; 151) " "
-                    STRING@[151; 157) "\"many\""
-                    R_PAREN@[157; 158) ")"
-                  R_BRACK@[158; 159) "]"
+                L_BRACK@[136; 137) "["
+                PATH@[137; 140)
+                  PATH_SEGMENT@[137; 140)
+                    NAME_REF@[137; 140)
+                      IDENT@[137; 140) "cfg"
+                TOKEN_TREE@[140; 158)
+                  L_PAREN@[140; 141) "("
+                  IDENT@[141; 148) "feature"
+                  WHITESPACE@[148; 149) " "
+                  EQ@[149; 150) "="
+                  WHITESPACE@[150; 151) " "
+                  STRING@[151; 157) "\"many\""
+                  R_PAREN@[157; 158) ")"
+                R_BRACK@[158; 159) "]"
               WHITESPACE@[159; 168) "\n        "
               ATTR@[168; 198)
                 POUND@[168; 169) "#"
-                TOKEN_TREE@[169; 198)
-                  L_BRACK@[169; 170) "["
-                  IDENT@[170; 173) "cfg"
-                  TOKEN_TREE@[173; 197)
-                    L_PAREN@[173; 174) "("
-                    IDENT@[174; 181) "feature"
-                    WHITESPACE@[181; 182) " "
-                    EQ@[182; 183) "="
-                    WHITESPACE@[183; 184) " "
-                    STRING@[184; 196) "\"attributes\""
-                    R_PAREN@[196; 197) ")"
-                  R_BRACK@[197; 198) "]"
+                L_BRACK@[169; 170) "["
+                PATH@[170; 173)
+                  PATH_SEGMENT@[170; 173)
+                    NAME_REF@[170; 173)
+                      IDENT@[170; 173) "cfg"
+                TOKEN_TREE@[173; 197)
+                  L_PAREN@[173; 174) "("
+                  IDENT@[174; 181) "feature"
+                  WHITESPACE@[181; 182) " "
+                  EQ@[182; 183) "="
+                  WHITESPACE@[183; 184) " "
+                  STRING@[184; 196) "\"attributes\""
+                  R_PAREN@[196; 197) ")"
+                R_BRACK@[197; 198) "]"
               WHITESPACE@[198; 207) "\n        "
               ATTR@[207; 233)
                 POUND@[207; 208) "#"
-                TOKEN_TREE@[208; 233)
-                  L_BRACK@[208; 209) "["
-                  IDENT@[209; 212) "cfg"
-                  TOKEN_TREE@[212; 232)
-                    L_PAREN@[212; 213) "("
-                    IDENT@[213; 220) "feature"
-                    WHITESPACE@[220; 221) " "
-                    EQ@[221; 222) "="
-                    WHITESPACE@[222; 223) " "
-                    STRING@[223; 231) "\"before\""
-                    R_PAREN@[231; 232) ")"
-                  R_BRACK@[232; 233) "]"
+                L_BRACK@[208; 209) "["
+                PATH@[209; 212)
+                  PATH_SEGMENT@[209; 212)
+                    NAME_REF@[209; 212)
+                      IDENT@[209; 212) "cfg"
+                TOKEN_TREE@[212; 232)
+                  L_PAREN@[212; 213) "("
+                  IDENT@[213; 220) "feature"
+                  WHITESPACE@[220; 221) " "
+                  EQ@[221; 222) "="
+                  WHITESPACE@[222; 223) " "
+                  STRING@[223; 231) "\"before\""
+                  R_PAREN@[231; 232) ")"
+                R_BRACK@[232; 233) "]"
               WHITESPACE@[233; 242) "\n        "
               PLACEHOLDER_PAT@[242; 243)
                 UNDERSCORE@[242; 243) "_"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0122_generic_lifetime_type_attribute.txt b/crates/ra_syntax/test_data/parser/inline/ok/0122_generic_lifetime_type_attribute.txt
index bc7b68b90..a73ff9c90 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0122_generic_lifetime_type_attribute.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0122_generic_lifetime_type_attribute.txt
@@ -9,14 +9,16 @@ SOURCE_FILE@[0; 64)
       LIFETIME_PARAM@[7; 29)
         ATTR@[7; 26)
           POUND@[7; 8) "#"
-          TOKEN_TREE@[8; 26)
-            L_BRACK@[8; 9) "["
-            IDENT@[9; 15) "derive"
-            TOKEN_TREE@[15; 25)
-              L_PAREN@[15; 16) "("
-              IDENT@[16; 24) "Lifetime"
-              R_PAREN@[24; 25) ")"
-            R_BRACK@[25; 26) "]"
+          L_BRACK@[8; 9) "["
+          PATH@[9; 15)
+            PATH_SEGMENT@[9; 15)
+              NAME_REF@[9; 15)
+                IDENT@[9; 15) "derive"
+          TOKEN_TREE@[15; 25)
+            L_PAREN@[15; 16) "("
+            IDENT@[16; 24) "Lifetime"
+            R_PAREN@[24; 25) ")"
+          R_BRACK@[25; 26) "]"
         WHITESPACE@[26; 27) " "
         LIFETIME@[27; 29) "\'a"
       COMMA@[29; 30) ","
@@ -24,14 +26,16 @@ SOURCE_FILE@[0; 64)
       TYPE_PARAM@[31; 48)
         ATTR@[31; 46)
           POUND@[31; 32) "#"
-          TOKEN_TREE@[32; 46)
-            L_BRACK@[32; 33) "["
-            IDENT@[33; 39) "derive"
-            TOKEN_TREE@[39; 45)
-              L_PAREN@[39; 40) "("
-              IDENT@[40; 44) "Type"
-              R_PAREN@[44; 45) ")"
-            R_BRACK@[45; 46) "]"
+          L_BRACK@[32; 33) "["
+          PATH@[33; 39)
+            PATH_SEGMENT@[33; 39)
+              NAME_REF@[33; 39)
+                IDENT@[33; 39) "derive"
+          TOKEN_TREE@[39; 45)
+            L_PAREN@[39; 40) "("
+            IDENT@[40; 44) "Type"
+            R_PAREN@[44; 45) ")"
+          R_BRACK@[45; 46) "]"
         WHITESPACE@[46; 47) " "
         NAME@[47; 48)
           IDENT@[47; 48) "T"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0125_record_literal_field_with_attr.txt b/crates/ra_syntax/test_data/parser/inline/ok/0125_record_literal_field_with_attr.txt
index 37cc438d9..a36c3df0e 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0125_record_literal_field_with_attr.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0125_record_literal_field_with_attr.txt
@@ -24,14 +24,16 @@ SOURCE_FILE@[0; 46)
             RECORD_FIELD@[20; 41)
               ATTR@[20; 32)
                 POUND@[20; 21) "#"
-                TOKEN_TREE@[21; 32)
-                  L_BRACK@[21; 22) "["
-                  IDENT@[22; 25) "cfg"
-                  TOKEN_TREE@[25; 31)
-                    L_PAREN@[25; 26) "("
-                    IDENT@[26; 30) "test"
-                    R_PAREN@[30; 31) ")"
-                  R_BRACK@[31; 32) "]"
+                L_BRACK@[21; 22) "["
+                PATH@[22; 25)
+                  PATH_SEGMENT@[22; 25)
+                    NAME_REF@[22; 25)
+                      IDENT@[22; 25) "cfg"
+                TOKEN_TREE@[25; 31)
+                  L_PAREN@[25; 26) "("
+                  IDENT@[26; 30) "test"
+                  R_PAREN@[30; 31) ")"
+                R_BRACK@[31; 32) "]"
               WHITESPACE@[32; 33) " "
               NAME_REF@[33; 38)
                 IDENT@[33; 38) "field"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0126_attr_on_expr_stmt.txt b/crates/ra_syntax/test_data/parser/inline/ok/0126_attr_on_expr_stmt.txt
index 6bc0db077..5c311d18a 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0126_attr_on_expr_stmt.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0126_attr_on_expr_stmt.txt
@@ -15,10 +15,12 @@ SOURCE_FILE@[0; 82)
         EXPR_STMT@[15; 26)
           ATTR@[15; 19)
             POUND@[15; 16) "#"
-            TOKEN_TREE@[16; 19)
-              L_BRACK@[16; 17) "["
-              IDENT@[17; 18) "A"
-              R_BRACK@[18; 19) "]"
+            L_BRACK@[16; 17) "["
+            PATH@[17; 18)
+              PATH_SEGMENT@[17; 18)
+                NAME_REF@[17; 18)
+                  IDENT@[17; 18) "A"
+            R_BRACK@[18; 19) "]"
           WHITESPACE@[19; 20) " "
           CALL_EXPR@[20; 25)
             PATH_EXPR@[20; 23)
@@ -34,10 +36,12 @@ SOURCE_FILE@[0; 82)
         EXPR_STMT@[31; 42)
           ATTR@[31; 35)
             POUND@[31; 32) "#"
-            TOKEN_TREE@[32; 35)
-              L_BRACK@[32; 33) "["
-              IDENT@[33; 34) "B"
-              R_BRACK@[34; 35) "]"
+            L_BRACK@[32; 33) "["
+            PATH@[33; 34)
+              PATH_SEGMENT@[33; 34)
+                NAME_REF@[33; 34)
+                  IDENT@[33; 34) "B"
+            R_BRACK@[34; 35) "]"
           WHITESPACE@[35; 36) " "
           MACRO_CALL@[36; 42)
             PATH@[36; 39)
@@ -52,17 +56,21 @@ SOURCE_FILE@[0; 82)
         EXPR_STMT@[47; 59)
           ATTR@[47; 51)
             POUND@[47; 48) "#"
-            TOKEN_TREE@[48; 51)
-              L_BRACK@[48; 49) "["
-              IDENT@[49; 50) "C"
-              R_BRACK@[50; 51) "]"
+            L_BRACK@[48; 49) "["
+            PATH@[49; 50)
+              PATH_SEGMENT@[49; 50)
+                NAME_REF@[49; 50)
+                  IDENT@[49; 50) "C"
+            R_BRACK@[50; 51) "]"
           WHITESPACE@[51; 52) " "
           ATTR@[52; 56)
             POUND@[52; 53) "#"
-            TOKEN_TREE@[53; 56)
-              L_BRACK@[53; 54) "["
-              IDENT@[54; 55) "D"
-              R_BRACK@[55; 56) "]"
+            L_BRACK@[53; 54) "["
+            PATH@[54; 55)
+              PATH_SEGMENT@[54; 55)
+                NAME_REF@[54; 55)
+                  IDENT@[54; 55) "D"
+            R_BRACK@[55; 56) "]"
           WHITESPACE@[56; 57) " "
           BLOCK_EXPR@[57; 59)
             BLOCK@[57; 59)
@@ -72,10 +80,12 @@ SOURCE_FILE@[0; 82)
         EXPR_STMT@[64; 79)
           ATTR@[64; 68)
             POUND@[64; 65) "#"
-            TOKEN_TREE@[65; 68)
-              L_BRACK@[65; 66) "["
-              IDENT@[66; 67) "D"
-              R_BRACK@[67; 68) "]"
+            L_BRACK@[65; 66) "["
+            PATH@[66; 67)
+              PATH_SEGMENT@[66; 67)
+                NAME_REF@[66; 67)
+                  IDENT@[66; 67) "D"
+            R_BRACK@[67; 68) "]"
           WHITESPACE@[68; 69) " "
           RETURN_EXPR@[69; 78)
             RETURN_KW@[69; 75) "return"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0127_attr_on_last_expr_in_block.txt b/crates/ra_syntax/test_data/parser/inline/ok/0127_attr_on_last_expr_in_block.txt
index c201196ec..21f49690a 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0127_attr_on_last_expr_in_block.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0127_attr_on_last_expr_in_block.txt
@@ -20,10 +20,12 @@ SOURCE_FILE@[0; 47)
               TRY_EXPR@[17; 29)
                 ATTR@[17; 21)
                   POUND@[17; 18) "#"
-                  TOKEN_TREE@[18; 21)
-                    L_BRACK@[18; 19) "["
-                    IDENT@[19; 20) "A"
-                    R_BRACK@[20; 21) "]"
+                  L_BRACK@[18; 19) "["
+                  PATH@[19; 20)
+                    PATH_SEGMENT@[19; 20)
+                      NAME_REF@[19; 20)
+                        IDENT@[19; 20) "A"
+                  R_BRACK@[20; 21) "]"
                 WHITESPACE@[21; 22) " "
                 MACRO_CALL@[22; 28)
                   PATH@[22; 25)
@@ -41,10 +43,12 @@ SOURCE_FILE@[0; 47)
         REF_EXPR@[36; 44)
           ATTR@[36; 40)
             POUND@[36; 37) "#"
-            TOKEN_TREE@[37; 40)
-              L_BRACK@[37; 38) "["
-              IDENT@[38; 39) "B"
-              R_BRACK@[39; 40) "]"
+            L_BRACK@[37; 38) "["
+            PATH@[38; 39)
+              PATH_SEGMENT@[38; 39)
+                NAME_REF@[38; 39)
+                  IDENT@[38; 39) "B"
+            R_BRACK@[39; 40) "]"
           WHITESPACE@[40; 41) " "
           AMP@[41; 42) "&"
           TUPLE_EXPR@[42; 44)
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0135_first_array_member_attributes.txt b/crates/ra_syntax/test_data/parser/inline/ok/0135_first_array_member_attributes.txt
index eac4f6f30..8f2e91bdf 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0135_first_array_member_attributes.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0135_first_array_member_attributes.txt
@@ -29,14 +29,16 @@ SOURCE_FILE@[0; 56)
         WHITESPACE@[24; 28) "\n   "
         ATTR@[28; 40)
           POUND@[28; 29) "#"
-          TOKEN_TREE@[29; 40)
-            L_BRACK@[29; 30) "["
-            IDENT@[30; 33) "cfg"
-            TOKEN_TREE@[33; 39)
-              L_PAREN@[33; 34) "("
-              IDENT@[34; 38) "test"
-              R_PAREN@[38; 39) ")"
-            R_BRACK@[39; 40) "]"
+          L_BRACK@[29; 30) "["
+          PATH@[30; 33)
+            PATH_SEGMENT@[30; 33)
+              NAME_REF@[30; 33)
+                IDENT@[30; 33) "cfg"
+          TOKEN_TREE@[33; 39)
+            L_PAREN@[33; 34) "("
+            IDENT@[34; 38) "test"
+            R_PAREN@[38; 39) ")"
+          R_BRACK@[39; 40) "]"
         WHITESPACE@[40; 44) "\n   "
         LITERAL@[44; 45)
           INT_NUMBER@[44; 45) "1"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0136_subsequent_array_member_attributes.txt b/crates/ra_syntax/test_data/parser/inline/ok/0136_subsequent_array_member_attributes.txt
index 6fa1b42d9..41914eb8e 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0136_subsequent_array_member_attributes.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0136_subsequent_array_member_attributes.txt
@@ -33,14 +33,16 @@ SOURCE_FILE@[0; 56)
         WHITESPACE@[30; 34) "\n   "
         ATTR@[34; 46)
           POUND@[34; 35) "#"
-          TOKEN_TREE@[35; 46)
-            L_BRACK@[35; 36) "["
-            IDENT@[36; 39) "cfg"
-            TOKEN_TREE@[39; 45)
-              L_PAREN@[39; 40) "("
-              IDENT@[40; 44) "test"
-              R_PAREN@[44; 45) ")"
-            R_BRACK@[45; 46) "]"
+          L_BRACK@[35; 36) "["
+          PATH@[36; 39)
+            PATH_SEGMENT@[36; 39)
+              NAME_REF@[36; 39)
+                IDENT@[36; 39) "cfg"
+          TOKEN_TREE@[39; 45)
+            L_PAREN@[39; 40) "("
+            IDENT@[40; 44) "test"
+            R_PAREN@[44; 45) ")"
+          R_BRACK@[45; 46) "]"
         WHITESPACE@[46; 50) "\n   "
         LITERAL@[50; 51)
           INT_NUMBER@[50; 51) "2"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0138_self_param_outer_attr.txt b/crates/ra_syntax/test_data/parser/inline/ok/0138_self_param_outer_attr.txt
index 708fa4773..e627b9746 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0138_self_param_outer_attr.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0138_self_param_outer_attr.txt
@@ -8,10 +8,12 @@ SOURCE_FILE@[0; 26)
       L_PAREN@[4; 5) "("
       ATTR@[5; 16)
         POUND@[5; 6) "#"
-        TOKEN_TREE@[6; 16)
-          L_BRACK@[6; 7) "["
-          IDENT@[7; 15) "must_use"
-          R_BRACK@[15; 16) "]"
+        L_BRACK@[6; 7) "["
+        PATH@[7; 15)
+          PATH_SEGMENT@[7; 15)
+            NAME_REF@[7; 15)
+              IDENT@[7; 15) "must_use"
+        R_BRACK@[15; 16) "]"
       WHITESPACE@[16; 17) " "
       SELF_PARAM@[17; 21)
         SELF_KW@[17; 21) "self"
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0139_param_outer_arg.txt b/crates/ra_syntax/test_data/parser/inline/ok/0139_param_outer_arg.txt
index 9c0a0d20b..cf202c94b 100644
--- a/crates/ra_syntax/test_data/parser/inline/ok/0139_param_outer_arg.txt
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0139_param_outer_arg.txt
@@ -8,10 +8,12 @@ SOURCE_FILE@[0; 28)
       L_PAREN@[4; 5) "("
       ATTR@[5; 13)
         POUND@[5; 6) "#"
-        TOKEN_TREE@[6; 13)
-          L_BRACK@[6; 7) "["
-          IDENT@[7; 12) "attr1"
-          R_BRACK@[12; 13) "]"
+        L_BRACK@[6; 7) "["
+        PATH@[7; 12)
+          PATH_SEGMENT@[7; 12)
+            NAME_REF@[7; 12)
+              IDENT@[7; 12) "attr1"
+        R_BRACK@[12; 13) "]"
       WHITESPACE@[13; 14) " "
       PARAM@[14; 23)
         BIND_PAT@[14; 17)
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0146_as_precedence.rs b/crates/ra_syntax/test_data/parser/inline/ok/0146_as_precedence.rs
new file mode 100644
index 000000000..a06dec1fa
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0146_as_precedence.rs
@@ -0,0 +1,3 @@
+fn foo() {
+    let _ = &1 as *const i32;
+}
diff --git a/crates/ra_syntax/test_data/parser/inline/ok/0146_as_precedence.txt b/crates/ra_syntax/test_data/parser/inline/ok/0146_as_precedence.txt
new file mode 100644
index 000000000..9e3767fb7
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/inline/ok/0146_as_precedence.txt
@@ -0,0 +1,43 @@
+SOURCE_FILE@[0; 43)
+  FN_DEF@[0; 42)
+    FN_KW@[0; 2) "fn"
+    WHITESPACE@[2; 3) " "
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7) "("
+      R_PAREN@[7; 8) ")"
+    WHITESPACE@[8; 9) " "
+    BLOCK_EXPR@[9; 42)
+      BLOCK@[9; 42)
+        L_CURLY@[9; 10) "{"
+        WHITESPACE@[10; 15) "\n    "
+        LET_STMT@[15; 40)
+          LET_KW@[15; 18) "let"
+          WHITESPACE@[18; 19) " "
+          PLACEHOLDER_PAT@[19; 20)
+            UNDERSCORE@[19; 20) "_"
+          WHITESPACE@[20; 21) " "
+          EQ@[21; 22) "="
+          WHITESPACE@[22; 23) " "
+          CAST_EXPR@[23; 39)
+            REF_EXPR@[23; 25)
+              AMP@[23; 24) "&"
+              LITERAL@[24; 25)
+                INT_NUMBER@[24; 25) "1"
+            WHITESPACE@[25; 26) " "
+            AS_KW@[26; 28) "as"
+            WHITESPACE@[28; 29) " "
+            POINTER_TYPE@[29; 39)
+              STAR@[29; 30) "*"
+              CONST_KW@[30; 35) "const"
+              WHITESPACE@[35; 36) " "
+              PATH_TYPE@[36; 39)
+                PATH@[36; 39)
+                  PATH_SEGMENT@[36; 39)
+                    NAME_REF@[36; 39)
+                      IDENT@[36; 39) "i32"
+          SEMI@[39; 40) ";"
+        WHITESPACE@[40; 41) "\n"
+        R_CURLY@[41; 42) "}"
+  WHITESPACE@[42; 43) "\n"
diff --git a/crates/ra_syntax/test_data/parser/ok/0006_inner_attributes.txt b/crates/ra_syntax/test_data/parser/ok/0006_inner_attributes.txt
index d8cabc9af..d72b72561 100644
--- a/crates/ra_syntax/test_data/parser/ok/0006_inner_attributes.txt
+++ b/crates/ra_syntax/test_data/parser/ok/0006_inner_attributes.txt
@@ -2,163 +2,183 @@ SOURCE_FILE@[0; 236)
   ATTR@[0; 8)
     POUND@[0; 1) "#"
     EXCL@[1; 2) "!"
-    TOKEN_TREE@[2; 8)
-      L_BRACK@[2; 3) "["
-      IDENT@[3; 7) "attr"
-      R_BRACK@[7; 8) "]"
+    L_BRACK@[2; 3) "["
+    PATH@[3; 7)
+      PATH_SEGMENT@[3; 7)
+        NAME_REF@[3; 7)
+          IDENT@[3; 7) "attr"
+    R_BRACK@[7; 8) "]"
   WHITESPACE@[8; 9) "\n"
   ATTR@[9; 23)
     POUND@[9; 10) "#"
     EXCL@[10; 11) "!"
-    TOKEN_TREE@[11; 23)
-      L_BRACK@[11; 12) "["
-      IDENT@[12; 16) "attr"
-      TOKEN_TREE@[16; 22)
-        L_PAREN@[16; 17) "("
-        TRUE_KW@[17; 21) "true"
-        R_PAREN@[21; 22) ")"
-      R_BRACK@[22; 23) "]"
+    L_BRACK@[11; 12) "["
+    PATH@[12; 16)
+      PATH_SEGMENT@[12; 16)
+        NAME_REF@[12; 16)
+          IDENT@[12; 16) "attr"
+    TOKEN_TREE@[16; 22)
+      L_PAREN@[16; 17) "("
+      TRUE_KW@[17; 21) "true"
+      R_PAREN@[21; 22) ")"
+    R_BRACK@[22; 23) "]"
   WHITESPACE@[23; 24) "\n"
   ATTR@[24; 39)
     POUND@[24; 25) "#"
     EXCL@[25; 26) "!"
-    TOKEN_TREE@[26; 39)
-      L_BRACK@[26; 27) "["
-      IDENT@[27; 31) "attr"
-      TOKEN_TREE@[31; 38)
-        L_PAREN@[31; 32) "("
-        IDENT@[32; 37) "ident"
-        R_PAREN@[37; 38) ")"
-      R_BRACK@[38; 39) "]"
+    L_BRACK@[26; 27) "["
+    PATH@[27; 31)
+      PATH_SEGMENT@[27; 31)
+        NAME_REF@[27; 31)
+          IDENT@[27; 31) "attr"
+    TOKEN_TREE@[31; 38)
+      L_PAREN@[31; 32) "("
+      IDENT@[32; 37) "ident"
+      R_PAREN@[37; 38) ")"
+    R_BRACK@[38; 39) "]"
   WHITESPACE@[39; 40) "\n"
   ATTR@[40; 116)
     POUND@[40; 41) "#"
     EXCL@[41; 42) "!"
-    TOKEN_TREE@[42; 116)
-      L_BRACK@[42; 43) "["
-      IDENT@[43; 47) "attr"
-      TOKEN_TREE@[47; 115)
-        L_PAREN@[47; 48) "("
-        IDENT@[48; 53) "ident"
-        COMMA@[53; 54) ","
-        WHITESPACE@[54; 55) " "
-        INT_NUMBER@[55; 58) "100"
-        COMMA@[58; 59) ","
-        WHITESPACE@[59; 60) " "
-        TRUE_KW@[60; 64) "true"
-        COMMA@[64; 65) ","
-        WHITESPACE@[65; 66) " "
-        STRING@[66; 72) "\"true\""
-        COMMA@[72; 73) ","
-        WHITESPACE@[73; 74) " "
-        IDENT@[74; 79) "ident"
-        WHITESPACE@[79; 80) " "
-        EQ@[80; 81) "="
-        WHITESPACE@[81; 82) " "
-        INT_NUMBER@[82; 85) "100"
-        COMMA@[85; 86) ","
-        WHITESPACE@[86; 87) " "
-        IDENT@[87; 92) "ident"
-        WHITESPACE@[92; 93) " "
-        EQ@[93; 94) "="
-        WHITESPACE@[94; 95) " "
-        STRING@[95; 102) "\"hello\""
-        COMMA@[102; 103) ","
-        WHITESPACE@[103; 104) " "
-        IDENT@[104; 109) "ident"
-        TOKEN_TREE@[109; 114)
-          L_PAREN@[109; 110) "("
-          INT_NUMBER@[110; 113) "100"
-          R_PAREN@[113; 114) ")"
-        R_PAREN@[114; 115) ")"
-      R_BRACK@[115; 116) "]"
+    L_BRACK@[42; 43) "["
+    PATH@[43; 47)
+      PATH_SEGMENT@[43; 47)
+        NAME_REF@[43; 47)
+          IDENT@[43; 47) "attr"
+    TOKEN_TREE@[47; 115)
+      L_PAREN@[47; 48) "("
+      IDENT@[48; 53) "ident"
+      COMMA@[53; 54) ","
+      WHITESPACE@[54; 55) " "
+      INT_NUMBER@[55; 58) "100"
+      COMMA@[58; 59) ","
+      WHITESPACE@[59; 60) " "
+      TRUE_KW@[60; 64) "true"
+      COMMA@[64; 65) ","
+      WHITESPACE@[65; 66) " "
+      STRING@[66; 72) "\"true\""
+      COMMA@[72; 73) ","
+      WHITESPACE@[73; 74) " "
+      IDENT@[74; 79) "ident"
+      WHITESPACE@[79; 80) " "
+      EQ@[80; 81) "="
+      WHITESPACE@[81; 82) " "
+      INT_NUMBER@[82; 85) "100"
+      COMMA@[85; 86) ","
+      WHITESPACE@[86; 87) " "
+      IDENT@[87; 92) "ident"
+      WHITESPACE@[92; 93) " "
+      EQ@[93; 94) "="
+      WHITESPACE@[94; 95) " "
+      STRING@[95; 102) "\"hello\""
+      COMMA@[102; 103) ","
+      WHITESPACE@[103; 104) " "
+      IDENT@[104; 109) "ident"
+      TOKEN_TREE@[109; 114)
+        L_PAREN@[109; 110) "("
+        INT_NUMBER@[110; 113) "100"
+        R_PAREN@[113; 114) ")"
+      R_PAREN@[114; 115) ")"
+    R_BRACK@[115; 116) "]"
   WHITESPACE@[116; 117) "\n"
   ATTR@[117; 130)
     POUND@[117; 118) "#"
     EXCL@[118; 119) "!"
-    TOKEN_TREE@[119; 130)
-      L_BRACK@[119; 120) "["
-      IDENT@[120; 124) "attr"
-      TOKEN_TREE@[124; 129)
-        L_PAREN@[124; 125) "("
-        INT_NUMBER@[125; 128) "100"
-        R_PAREN@[128; 129) ")"
-      R_BRACK@[129; 130) "]"
+    L_BRACK@[119; 120) "["
+    PATH@[120; 124)
+      PATH_SEGMENT@[120; 124)
+        NAME_REF@[120; 124)
+          IDENT@[120; 124) "attr"
+    TOKEN_TREE@[124; 129)
+      L_PAREN@[124; 125) "("
+      INT_NUMBER@[125; 128) "100"
+      R_PAREN@[128; 129) ")"
+    R_BRACK@[129; 130) "]"
   WHITESPACE@[130; 131) "\n"
   ATTR@[131; 155)
     POUND@[131; 132) "#"
     EXCL@[132; 133) "!"
-    TOKEN_TREE@[133; 155)
-      L_BRACK@[133; 134) "["
-      IDENT@[134; 138) "attr"
-      TOKEN_TREE@[138; 154)
-        L_PAREN@[138; 139) "("
-        IDENT@[139; 146) "enabled"
-        WHITESPACE@[146; 147) " "
-        EQ@[147; 148) "="
-        WHITESPACE@[148; 149) " "
-        TRUE_KW@[149; 153) "true"
-        R_PAREN@[153; 154) ")"
-      R_BRACK@[154; 155) "]"
+    L_BRACK@[133; 134) "["
+    PATH@[134; 138)
+      PATH_SEGMENT@[134; 138)
+        NAME_REF@[134; 138)
+          IDENT@[134; 138) "attr"
+    TOKEN_TREE@[138; 154)
+      L_PAREN@[138; 139) "("
+      IDENT@[139; 146) "enabled"
+      WHITESPACE@[146; 147) " "
+      EQ@[147; 148) "="
+      WHITESPACE@[148; 149) " "
+      TRUE_KW@[149; 153) "true"
+      R_PAREN@[153; 154) ")"
+    R_BRACK@[154; 155) "]"
   WHITESPACE@[155; 156) "\n"
   ATTR@[156; 173)
     POUND@[156; 157) "#"
     EXCL@[157; 158) "!"
-    TOKEN_TREE@[158; 173)
-      L_BRACK@[158; 159) "["
-      IDENT@[159; 166) "enabled"
-      TOKEN_TREE@[166; 172)
-        L_PAREN@[166; 167) "("
-        TRUE_KW@[167; 171) "true"
-        R_PAREN@[171; 172) ")"
-      R_BRACK@[172; 173) "]"
+    L_BRACK@[158; 159) "["
+    PATH@[159; 166)
+      PATH_SEGMENT@[159; 166)
+        NAME_REF@[159; 166)
+          IDENT@[159; 166) "enabled"
+    TOKEN_TREE@[166; 172)
+      L_PAREN@[166; 167) "("
+      TRUE_KW@[167; 171) "true"
+      R_PAREN@[171; 172) ")"
+    R_BRACK@[172; 173) "]"
   WHITESPACE@[173; 174) "\n"
   ATTR@[174; 191)
     POUND@[174; 175) "#"
     EXCL@[175; 176) "!"
-    TOKEN_TREE@[176; 191)
-      L_BRACK@[176; 177) "["
-      IDENT@[177; 181) "attr"
-      TOKEN_TREE@[181; 190)
-        L_PAREN@[181; 182) "("
-        STRING@[182; 189) "\"hello\""
-        R_PAREN@[189; 190) ")"
-      R_BRACK@[190; 191) "]"
+    L_BRACK@[176; 177) "["
+    PATH@[177; 181)
+      PATH_SEGMENT@[177; 181)
+        NAME_REF@[177; 181)
+          IDENT@[177; 181) "attr"
+    TOKEN_TREE@[181; 190)
+      L_PAREN@[181; 182) "("
+      STRING@[182; 189) "\"hello\""
+      R_PAREN@[189; 190) ")"
+    R_BRACK@[190; 191) "]"
   WHITESPACE@[191; 192) "\n"
   ATTR@[192; 214)
     POUND@[192; 193) "#"
     EXCL@[193; 194) "!"
-    TOKEN_TREE@[194; 214)
-      L_BRACK@[194; 195) "["
-      IDENT@[195; 199) "repr"
-      TOKEN_TREE@[199; 213)
-        L_PAREN@[199; 200) "("
-        IDENT@[200; 201) "C"
-        COMMA@[201; 202) ","
-        WHITESPACE@[202; 203) " "
-        IDENT@[203; 208) "align"
-        WHITESPACE@[208; 209) " "
-        EQ@[209; 210) "="
-        WHITESPACE@[210; 211) " "
-        INT_NUMBER@[211; 212) "4"
-        R_PAREN@[212; 213) ")"
-      R_BRACK@[213; 214) "]"
+    L_BRACK@[194; 195) "["
+    PATH@[195; 199)
+      PATH_SEGMENT@[195; 199)
+        NAME_REF@[195; 199)
+          IDENT@[195; 199) "repr"
+    TOKEN_TREE@[199; 213)
+      L_PAREN@[199; 200) "("
+      IDENT@[200; 201) "C"
+      COMMA@[201; 202) ","
+      WHITESPACE@[202; 203) " "
+      IDENT@[203; 208) "align"
+      WHITESPACE@[208; 209) " "
+      EQ@[209; 210) "="
+      WHITESPACE@[210; 211) " "
+      INT_NUMBER@[211; 212) "4"
+      R_PAREN@[212; 213) ")"
+    R_BRACK@[213; 214) "]"
   WHITESPACE@[214; 215) "\n"
   ATTR@[215; 236)
     POUND@[215; 216) "#"
     EXCL@[216; 217) "!"
-    TOKEN_TREE@[217; 236)
-      L_BRACK@[217; 218) "["
-      IDENT@[218; 222) "repr"
-      TOKEN_TREE@[222; 235)
-        L_PAREN@[222; 223) "("
-        IDENT@[223; 224) "C"
-        COMMA@[224; 225) ","
-        WHITESPACE@[225; 226) " "
-        IDENT@[226; 231) "align"
-        TOKEN_TREE@[231; 234)
-          L_PAREN@[231; 232) "("
-          INT_NUMBER@[232; 233) "4"
-          R_PAREN@[233; 234) ")"
-        R_PAREN@[234; 235) ")"
-      R_BRACK@[235; 236) "]"
+    L_BRACK@[217; 218) "["
+    PATH@[218; 222)
+      PATH_SEGMENT@[218; 222)
+        NAME_REF@[218; 222)
+          IDENT@[218; 222) "repr"
+    TOKEN_TREE@[222; 235)
+      L_PAREN@[222; 223) "("
+      IDENT@[223; 224) "C"
+      COMMA@[224; 225) ","
+      WHITESPACE@[225; 226) " "
+      IDENT@[226; 231) "align"
+      TOKEN_TREE@[231; 234)
+        L_PAREN@[231; 232) "("
+        INT_NUMBER@[232; 233) "4"
+        R_PAREN@[233; 234) ")"
+      R_PAREN@[234; 235) ")"
+    R_BRACK@[235; 236) "]"
diff --git a/crates/ra_syntax/test_data/parser/ok/0008_mod_item.txt b/crates/ra_syntax/test_data/parser/ok/0008_mod_item.txt
index 35465632d..061019a73 100644
--- a/crates/ra_syntax/test_data/parser/ok/0008_mod_item.txt
+++ b/crates/ra_syntax/test_data/parser/ok/0008_mod_item.txt
@@ -65,10 +65,12 @@ SOURCE_FILE@[0; 118)
       ATTR@[79; 87)
         POUND@[79; 80) "#"
         EXCL@[80; 81) "!"
-        TOKEN_TREE@[81; 87)
-          L_BRACK@[81; 82) "["
-          IDENT@[82; 86) "attr"
-          R_BRACK@[86; 87) "]"
+        L_BRACK@[81; 82) "["
+        PATH@[82; 86)
+          PATH_SEGMENT@[82; 86)
+            NAME_REF@[82; 86)
+              IDENT@[82; 86) "attr"
+        R_BRACK@[86; 87) "]"
       WHITESPACE@[87; 92) "\n    "
       MODULE@[92; 98)
         MOD_KW@[92; 95) "mod"
diff --git a/crates/ra_syntax/test_data/parser/ok/0011_outer_attribute.rs b/crates/ra_syntax/test_data/parser/ok/0011_outer_attribute.rs
index 8b80c0d90..3d2e01d5c 100644
--- a/crates/ra_syntax/test_data/parser/ok/0011_outer_attribute.rs
+++ b/crates/ra_syntax/test_data/parser/ok/0011_outer_attribute.rs
@@ -1,3 +1,6 @@
 #[cfg(test)]
 #[ignore]
 fn foo() {}
+
+#[path = "a.rs"]
+mod b;
diff --git a/crates/ra_syntax/test_data/parser/ok/0011_outer_attribute.txt b/crates/ra_syntax/test_data/parser/ok/0011_outer_attribute.txt
index a845c5c24..f7aa8afe4 100644
--- a/crates/ra_syntax/test_data/parser/ok/0011_outer_attribute.txt
+++ b/crates/ra_syntax/test_data/parser/ok/0011_outer_attribute.txt
@@ -1,22 +1,26 @@
-SOURCE_FILE@[0; 35)
+SOURCE_FILE@[0; 60)
   FN_DEF@[0; 34)
     ATTR@[0; 12)
       POUND@[0; 1) "#"
-      TOKEN_TREE@[1; 12)
-        L_BRACK@[1; 2) "["
-        IDENT@[2; 5) "cfg"
-        TOKEN_TREE@[5; 11)
-          L_PAREN@[5; 6) "("
-          IDENT@[6; 10) "test"
-          R_PAREN@[10; 11) ")"
-        R_BRACK@[11; 12) "]"
+      L_BRACK@[1; 2) "["
+      PATH@[2; 5)
+        PATH_SEGMENT@[2; 5)
+          NAME_REF@[2; 5)
+            IDENT@[2; 5) "cfg"
+      TOKEN_TREE@[5; 11)
+        L_PAREN@[5; 6) "("
+        IDENT@[6; 10) "test"
+        R_PAREN@[10; 11) ")"
+      R_BRACK@[11; 12) "]"
     WHITESPACE@[12; 13) "\n"
     ATTR@[13; 22)
       POUND@[13; 14) "#"
-      TOKEN_TREE@[14; 22)
-        L_BRACK@[14; 15) "["
-        IDENT@[15; 21) "ignore"
-        R_BRACK@[21; 22) "]"
+      L_BRACK@[14; 15) "["
+      PATH@[15; 21)
+        PATH_SEGMENT@[15; 21)
+          NAME_REF@[15; 21)
+            IDENT@[15; 21) "ignore"
+      R_BRACK@[21; 22) "]"
     WHITESPACE@[22; 23) "\n"
     FN_KW@[23; 25) "fn"
     WHITESPACE@[25; 26) " "
@@ -30,4 +34,25 @@ SOURCE_FILE@[0; 35)
       BLOCK@[32; 34)
         L_CURLY@[32; 33) "{"
         R_CURLY@[33; 34) "}"
-  WHITESPACE@[34; 35) "\n"
+  WHITESPACE@[34; 36) "\n\n"
+  MODULE@[36; 59)
+    ATTR@[36; 52)
+      POUND@[36; 37) "#"
+      L_BRACK@[37; 38) "["
+      PATH@[38; 42)
+        PATH_SEGMENT@[38; 42)
+          NAME_REF@[38; 42)
+            IDENT@[38; 42) "path"
+      WHITESPACE@[42; 43) " "
+      EQ@[43; 44) "="
+      WHITESPACE@[44; 45) " "
+      LITERAL@[45; 51)
+        STRING@[45; 51) "\"a.rs\""
+      R_BRACK@[51; 52) "]"
+    WHITESPACE@[52; 53) "\n"
+    MOD_KW@[53; 56) "mod"
+    WHITESPACE@[56; 57) " "
+    NAME@[57; 58)
+      IDENT@[57; 58) "b"
+    SEMI@[58; 59) ";"
+  WHITESPACE@[59; 60) "\n"
diff --git a/crates/ra_syntax/test_data/parser/ok/0017_attr_trailing_comma.txt b/crates/ra_syntax/test_data/parser/ok/0017_attr_trailing_comma.txt
index a1084b221..1d65b0d6e 100644
--- a/crates/ra_syntax/test_data/parser/ok/0017_attr_trailing_comma.txt
+++ b/crates/ra_syntax/test_data/parser/ok/0017_attr_trailing_comma.txt
@@ -2,15 +2,17 @@ SOURCE_FILE@[0; 23)
   FN_DEF@[0; 22)
     ATTR@[0; 10)
       POUND@[0; 1) "#"
-      TOKEN_TREE@[1; 10)
-        L_BRACK@[1; 2) "["
-        IDENT@[2; 5) "foo"
-        TOKEN_TREE@[5; 9)
-          L_PAREN@[5; 6) "("
-          IDENT@[6; 7) "a"
-          COMMA@[7; 8) ","
-          R_PAREN@[8; 9) ")"
-        R_BRACK@[9; 10) "]"
+      L_BRACK@[1; 2) "["
+      PATH@[2; 5)
+        PATH_SEGMENT@[2; 5)
+          NAME_REF@[2; 5)
+            IDENT@[2; 5) "foo"
+      TOKEN_TREE@[5; 9)
+        L_PAREN@[5; 6) "("
+        IDENT@[6; 7) "a"
+        COMMA@[7; 8) ","
+        R_PAREN@[8; 9) ")"
+      R_BRACK@[9; 10) "]"
     WHITESPACE@[10; 11) "\n"
     FN_KW@[11; 13) "fn"
     WHITESPACE@[13; 14) " "
diff --git a/crates/ra_syntax/test_data/parser/ok/0035_weird_exprs.txt b/crates/ra_syntax/test_data/parser/ok/0035_weird_exprs.txt
index 3326ab2ae..3260cc589 100644
--- a/crates/ra_syntax/test_data/parser/ok/0035_weird_exprs.txt
+++ b/crates/ra_syntax/test_data/parser/ok/0035_weird_exprs.txt
@@ -10,62 +10,73 @@ SOURCE_FILE@[0; 3813)
   ATTR@[271; 302)
     POUND@[271; 272) "#"
     EXCL@[272; 273) "!"
-    TOKEN_TREE@[273; 302)
-      L_BRACK@[273; 274) "["
-      IDENT@[274; 279) "allow"
-      TOKEN_TREE@[279; 301)
-        L_PAREN@[279; 280) "("
-        IDENT@[280; 300) "non_camel_case_types"
-        R_PAREN@[300; 301) ")"
-      R_BRACK@[301; 302) "]"
+    L_BRACK@[273; 274) "["
+    PATH@[274; 279)
+      PATH_SEGMENT@[274; 279)
+        NAME_REF@[274; 279)
+          IDENT@[274; 279) "allow"
+    TOKEN_TREE@[279; 301)
+      L_PAREN@[279; 280) "("
+      IDENT@[280; 300) "non_camel_case_types"
+      R_PAREN@[300; 301) ")"
+    R_BRACK@[301; 302) "]"
   WHITESPACE@[302; 303) "\n"
   ATTR@[303; 323)
     POUND@[303; 304) "#"
     EXCL@[304; 305) "!"
-    TOKEN_TREE@[305; 323)
-      L_BRACK@[305; 306) "["
-      IDENT@[306; 311) "allow"
-      TOKEN_TREE@[311; 322)
-        L_PAREN@[311; 312) "("
-        IDENT@[312; 321) "dead_code"
-        R_PAREN@[321; 322) ")"
-      R_BRACK@[322; 323) "]"
+    L_BRACK@[305; 306) "["
+    PATH@[306; 311)
+      PATH_SEGMENT@[306; 311)
+        NAME_REF@[306; 311)
+          IDENT@[306; 311) "allow"
+    TOKEN_TREE@[311; 322)
+      L_PAREN@[311; 312) "("
+      IDENT@[312; 321) "dead_code"
+      R_PAREN@[321; 322) ")"
+    R_BRACK@[322; 323) "]"
   WHITESPACE@[323; 324) "\n"
   ATTR@[324; 351)
     POUND@[324; 325) "#"
     EXCL@[325; 326) "!"
-    TOKEN_TREE@[326; 351)
-      L_BRACK@[326; 327) "["
-      IDENT@[327; 332) "allow"
-      TOKEN_TREE@[332; 350)
-        L_PAREN@[332; 333) "("
-        IDENT@[333; 349) "unreachable_code"
-        R_PAREN@[349; 350) ")"
-      R_BRACK@[350; 351) "]"
+    L_BRACK@[326; 327) "["
+    PATH@[327; 332)
+      PATH_SEGMENT@[327; 332)
+        NAME_REF@[327; 332)
+          IDENT@[327; 332) "allow"
+    TOKEN_TREE@[332; 350)
+      L_PAREN@[332; 333) "("
+      IDENT@[333; 349) "unreachable_code"
+      R_PAREN@[349; 350) ")"
+    R_BRACK@[350; 351) "]"
   WHITESPACE@[351; 352) "\n"
   ATTR@[352; 376)
     POUND@[352; 353) "#"
     EXCL@[353; 354) "!"
-    TOKEN_TREE@[354; 376)
-      L_BRACK@[354; 355) "["
-      IDENT@[355; 360) "allow"
-      TOKEN_TREE@[360; 375)
-        L_PAREN@[360; 361) "("
-        IDENT@[361; 374) "unused_parens"
-        R_PAREN@[374; 375) ")"
-      R_BRACK@[375; 376) "]"
+    L_BRACK@[354; 355) "["
+    PATH@[355; 360)
+      PATH_SEGMENT@[355; 360)
+        NAME_REF@[355; 360)
+          IDENT@[355; 360) "allow"
+    TOKEN_TREE@[360; 375)
+      L_PAREN@[360; 361) "("
+      IDENT@[361; 374) "unused_parens"
+      R_PAREN@[374; 375) ")"
+    R_BRACK@[375; 376) "]"
   WHITESPACE@[376; 378) "\n\n"
   ATTR@[378; 405)
     POUND@[378; 379) "#"
     EXCL@[379; 380) "!"
-    TOKEN_TREE@[380; 405)
-      L_BRACK@[380; 381) "["
-      IDENT@[381; 396) "recursion_limit"
-      WHITESPACE@[396; 397) " "
-      EQ@[397; 398) "="
-      WHITESPACE@[398; 399) " "
+    L_BRACK@[380; 381) "["
+    PATH@[381; 396)
+      PATH_SEGMENT@[381; 396)
+        NAME_REF@[381; 396)
+          IDENT@[381; 396) "recursion_limit"
+    WHITESPACE@[396; 397) " "
+    EQ@[397; 398) "="
+    WHITESPACE@[398; 399) " "
+    LITERAL@[399; 404)
       STRING@[399; 404) "\"128\""
-      R_BRACK@[404; 405) "]"
+    R_BRACK@[404; 405) "]"
   WHITESPACE@[405; 407) "\n\n"
   USE_ITEM@[407; 427)
     USE_KW@[407; 410) "use"
diff --git a/crates/ra_syntax/test_data/parser/ok/0044_let_attrs.txt b/crates/ra_syntax/test_data/parser/ok/0044_let_attrs.txt
index 7dabe535f..bfc793dc1 100644
--- a/crates/ra_syntax/test_data/parser/ok/0044_let_attrs.txt
+++ b/crates/ra_syntax/test_data/parser/ok/0044_let_attrs.txt
@@ -17,18 +17,20 @@ SOURCE_FILE@[0; 166)
         LET_STMT@[77; 163)
           ATTR@[77; 106)
             POUND@[77; 78) "#"
-            TOKEN_TREE@[78; 106)
-              L_BRACK@[78; 79) "["
-              IDENT@[79; 82) "cfg"
-              TOKEN_TREE@[82; 105)
-                L_PAREN@[82; 83) "("
-                IDENT@[83; 90) "feature"
-                WHITESPACE@[90; 91) " "
-                EQ@[91; 92) "="
-                WHITESPACE@[92; 93) " "
-                STRING@[93; 104) "\"backtrace\""
-                R_PAREN@[104; 105) ")"
-              R_BRACK@[105; 106) "]"
+            L_BRACK@[78; 79) "["
+            PATH@[79; 82)
+              PATH_SEGMENT@[79; 82)
+                NAME_REF@[79; 82)
+                  IDENT@[79; 82) "cfg"
+            TOKEN_TREE@[82; 105)
+              L_PAREN@[82; 83) "("
+              IDENT@[83; 90) "feature"
+              WHITESPACE@[90; 91) " "
+              EQ@[91; 92) "="
+              WHITESPACE@[92; 93) " "
+              STRING@[93; 104) "\"backtrace\""
+              R_PAREN@[104; 105) ")"
+            R_BRACK@[105; 106) "]"
           WHITESPACE@[106; 111) "\n    "
           LET_KW@[111; 114) "let"
           WHITESPACE@[114; 115) " "
diff --git a/crates/ra_syntax/test_data/parser/ok/0045_block_inner_attrs.txt b/crates/ra_syntax/test_data/parser/ok/0045_block_inner_attrs.txt
index e8be8203b..3d9aab500 100644
--- a/crates/ra_syntax/test_data/parser/ok/0045_block_inner_attrs.txt
+++ b/crates/ra_syntax/test_data/parser/ok/0045_block_inner_attrs.txt
@@ -15,14 +15,16 @@ SOURCE_FILE@[0; 686)
         ATTR@[17; 57)
           POUND@[17; 18) "#"
           EXCL@[18; 19) "!"
-          TOKEN_TREE@[19; 57)
-            L_BRACK@[19; 20) "["
-            IDENT@[20; 23) "doc"
-            TOKEN_TREE@[23; 56)
-              L_PAREN@[23; 24) "("
-              STRING@[24; 55) "\"Inner attributes all ..."
-              R_PAREN@[55; 56) ")"
-            R_BRACK@[56; 57) "]"
+          L_BRACK@[19; 20) "["
+          PATH@[20; 23)
+            PATH_SEGMENT@[20; 23)
+              NAME_REF@[20; 23)
+                IDENT@[20; 23) "doc"
+          TOKEN_TREE@[23; 56)
+            L_PAREN@[23; 24) "("
+            STRING@[24; 55) "\"Inner attributes all ..."
+            R_PAREN@[55; 56) ")"
+          R_BRACK@[56; 57) "]"
         WHITESPACE@[57; 62) "\n    "
         COMMENT@[62; 97) "//! As are ModuleDoc  ..."
         WHITESPACE@[97; 102) "\n    "
@@ -34,26 +36,30 @@ SOURCE_FILE@[0; 686)
               ATTR@[112; 180)
                 POUND@[112; 113) "#"
                 EXCL@[113; 114) "!"
-                TOKEN_TREE@[114; 180)
-                  L_BRACK@[114; 115) "["
-                  IDENT@[115; 118) "doc"
-                  TOKEN_TREE@[118; 179)
-                    L_PAREN@[118; 119) "("
-                    STRING@[119; 178) "\"Inner attributes are ..."
-                    R_PAREN@[178; 179) ")"
-                  R_BRACK@[179; 180) "]"
+                L_BRACK@[114; 115) "["
+                PATH@[115; 118)
+                  PATH_SEGMENT@[115; 118)
+                    NAME_REF@[115; 118)
+                      IDENT@[115; 118) "doc"
+                TOKEN_TREE@[118; 179)
+                  L_PAREN@[118; 119) "("
+                  STRING@[119; 178) "\"Inner attributes are ..."
+                  R_PAREN@[178; 179) ")"
+                R_BRACK@[179; 180) "]"
               WHITESPACE@[180; 189) "\n        "
               ATTR@[189; 244)
                 POUND@[189; 190) "#"
                 EXCL@[190; 191) "!"
-                TOKEN_TREE@[191; 244)
-                  L_BRACK@[191; 192) "["
-                  IDENT@[192; 195) "doc"
-                  TOKEN_TREE@[195; 243)
-                    L_PAREN@[195; 196) "("
-                    STRING@[196; 242) "\"Being validated is n ..."
-                    R_PAREN@[242; 243) ")"
-                  R_BRACK@[243; 244) "]"
+                L_BRACK@[191; 192) "["
+                PATH@[192; 195)
+                  PATH_SEGMENT@[192; 195)
+                    NAME_REF@[192; 195)
+                      IDENT@[192; 195) "doc"
+                TOKEN_TREE@[195; 243)
+                  L_PAREN@[195; 196) "("
+                  STRING@[196; 242) "\"Being validated is n ..."
+                  R_PAREN@[242; 243) ")"
+                R_BRACK@[243; 244) "]"
               WHITESPACE@[244; 253) "\n        "
               COMMENT@[253; 288) "//! As are ModuleDoc  ..."
               WHITESPACE@[288; 293) "\n    "
@@ -67,14 +73,16 @@ SOURCE_FILE@[0; 686)
             ATTR@[310; 409)
               POUND@[310; 311) "#"
               EXCL@[311; 312) "!"
-              TOKEN_TREE@[312; 409)
-                L_BRACK@[312; 313) "["
-                IDENT@[313; 316) "doc"
-                TOKEN_TREE@[316; 408)
-                  L_PAREN@[316; 317) "("
-                  STRING@[317; 407) "\"Inner attributes are ..."
-                  R_PAREN@[407; 408) ")"
-                R_BRACK@[408; 409) "]"
+              L_BRACK@[312; 313) "["
+              PATH@[313; 316)
+                PATH_SEGMENT@[313; 316)
+                  NAME_REF@[313; 316)
+                    IDENT@[313; 316) "doc"
+              TOKEN_TREE@[316; 408)
+                L_PAREN@[316; 317) "("
+                STRING@[317; 407) "\"Inner attributes are ..."
+                R_PAREN@[407; 408) ")"
+              R_BRACK@[408; 409) "]"
             WHITESPACE@[409; 418) "\n        "
             COMMENT@[418; 453) "//! As are ModuleDoc  ..."
             WHITESPACE@[453; 458) "\n    "
@@ -154,14 +162,16 @@ SOURCE_FILE@[0; 686)
             ATTR@[612; 639)
               POUND@[612; 613) "#"
               EXCL@[613; 614) "!"
-              TOKEN_TREE@[614; 639)
-                L_BRACK@[614; 615) "["
-                IDENT@[615; 620) "allow"
-                TOKEN_TREE@[620; 638)
-                  L_PAREN@[620; 621) "("
-                  IDENT@[621; 637) "unused_variables"
-                  R_PAREN@[637; 638) ")"
-                R_BRACK@[638; 639) "]"
+              L_BRACK@[614; 615) "["
+              PATH@[615; 620)
+                PATH_SEGMENT@[615; 620)
+                  NAME_REF@[615; 620)
+                    IDENT@[615; 620) "allow"
+              TOKEN_TREE@[620; 638)
+                L_PAREN@[620; 621) "("
+                IDENT@[621; 637) "unused_variables"
+                R_PAREN@[637; 638) ")"
+              R_BRACK@[638; 639) "]"
             WHITESPACE@[639; 640) " "
             COMMENT@[640; 677) "// this is  `inner_at ..."
             WHITESPACE@[677; 682) "\n    "
diff --git a/crates/ra_syntax/test_data/parser/ok/0046_extern_inner_attributes.txt b/crates/ra_syntax/test_data/parser/ok/0046_extern_inner_attributes.txt
index 4487a6e2e..8f192124b 100644
--- a/crates/ra_syntax/test_data/parser/ok/0046_extern_inner_attributes.txt
+++ b/crates/ra_syntax/test_data/parser/ok/0046_extern_inner_attributes.txt
@@ -13,14 +13,16 @@ SOURCE_FILE@[0; 87)
       ATTR@[47; 84)
         POUND@[47; 48) "#"
         EXCL@[48; 49) "!"
-        TOKEN_TREE@[49; 84)
-          L_BRACK@[49; 50) "["
-          IDENT@[50; 53) "doc"
-          TOKEN_TREE@[53; 83)
-            L_PAREN@[53; 54) "("
-            STRING@[54; 82) "\"This is also a doc c ..."
-            R_PAREN@[82; 83) ")"
-          R_BRACK@[83; 84) "]"
+        L_BRACK@[49; 50) "["
+        PATH@[50; 53)
+          PATH_SEGMENT@[50; 53)
+            NAME_REF@[50; 53)
+              IDENT@[50; 53) "doc"
+        TOKEN_TREE@[53; 83)
+          L_PAREN@[53; 54) "("
+          STRING@[54; 82) "\"This is also a doc c ..."
+          R_PAREN@[82; 83) ")"
+        R_BRACK@[83; 84) "]"
       WHITESPACE@[84; 85) "\n"
       R_CURLY@[85; 86) "}"
   WHITESPACE@[86; 87) "\n"
diff --git a/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.txt b/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.txt
index e08fb4988..bfd47d2e1 100644
--- a/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.txt
+++ b/crates/ra_syntax/test_data/parser/ok/0051_parameter_attrs.txt
@@ -8,17 +8,21 @@ SOURCE_FILE@[0; 519)
       L_PAREN@[5; 6) "("
       ATTR@[6; 14)
         POUND@[6; 7) "#"
-        TOKEN_TREE@[7; 14)
-          L_BRACK@[7; 8) "["
-          IDENT@[8; 13) "attr1"
-          R_BRACK@[13; 14) "]"
+        L_BRACK@[7; 8) "["
+        PATH@[8; 13)
+          PATH_SEGMENT@[8; 13)
+            NAME_REF@[8; 13)
+              IDENT@[8; 13) "attr1"
+        R_BRACK@[13; 14) "]"
       WHITESPACE@[14; 15) " "
       ATTR@[15; 23)
         POUND@[15; 16) "#"
-        TOKEN_TREE@[16; 23)
-          L_BRACK@[16; 17) "["
-          IDENT@[17; 22) "attr2"
-          R_BRACK@[22; 23) "]"
+        L_BRACK@[16; 17) "["
+        PATH@[17; 22)
+          PATH_SEGMENT@[17; 22)
+            NAME_REF@[17; 22)
+              IDENT@[17; 22) "attr2"
+        R_BRACK@[22; 23) "]"
       WHITESPACE@[23; 24) " "
       PARAM@[24; 33)
         BIND_PAT@[24; 27)
@@ -47,10 +51,12 @@ SOURCE_FILE@[0; 519)
       L_PAREN@[43; 44) "("
       ATTR@[44; 52)
         POUND@[44; 45) "#"
-        TOKEN_TREE@[45; 52)
-          L_BRACK@[45; 46) "["
-          IDENT@[46; 51) "attr1"
-          R_BRACK@[51; 52) "]"
+        L_BRACK@[45; 46) "["
+        PATH@[46; 51)
+          PATH_SEGMENT@[46; 51)
+            NAME_REF@[46; 51)
+              IDENT@[46; 51) "attr1"
+        R_BRACK@[51; 52) "]"
       WHITESPACE@[52; 53) " "
       PARAM@[53; 58)
         BIND_PAT@[53; 54)
@@ -105,10 +111,12 @@ SOURCE_FILE@[0; 519)
           WHITESPACE@[105; 106) " "
           ATTR@[106; 113)
             POUND@[106; 107) "#"
-            TOKEN_TREE@[107; 113)
-              L_BRACK@[107; 108) "["
-              IDENT@[108; 112) "attr"
-              R_BRACK@[112; 113) "]"
+            L_BRACK@[107; 108) "["
+            PATH@[108; 112)
+              PATH_SEGMENT@[108; 112)
+                NAME_REF@[108; 112)
+                  IDENT@[108; 112) "attr"
+            R_BRACK@[112; 113) "]"
           WHITESPACE@[113; 114) " "
           DOTDOTDOT@[114; 117) "..."
           R_PAREN@[117; 118) ")"
@@ -148,10 +156,12 @@ SOURCE_FILE@[0; 519)
                     L_PAREN@[145; 146) "("
                     ATTR@[146; 153)
                       POUND@[146; 147) "#"
-                      TOKEN_TREE@[147; 153)
-                        L_BRACK@[147; 148) "["
-                        IDENT@[148; 152) "attr"
-                        R_BRACK@[152; 153) "]"
+                      L_BRACK@[147; 148) "["
+                      PATH@[148; 152)
+                        PATH_SEGMENT@[148; 152)
+                          NAME_REF@[148; 152)
+                            IDENT@[148; 152) "attr"
+                      R_BRACK@[152; 153) "]"
                     WHITESPACE@[153; 154) " "
                     PARAM@[154; 166)
                       REFERENCE_TYPE@[154; 166)
@@ -196,10 +206,12 @@ SOURCE_FILE@[0; 519)
           L_PAREN@[196; 197) "("
           ATTR@[197; 204)
             POUND@[197; 198) "#"
-            TOKEN_TREE@[198; 204)
-              L_BRACK@[198; 199) "["
-              IDENT@[199; 203) "attr"
-              R_BRACK@[203; 204) "]"
+            L_BRACK@[198; 199) "["
+            PATH@[199; 203)
+              PATH_SEGMENT@[199; 203)
+                NAME_REF@[199; 203)
+                  IDENT@[199; 203) "attr"
+            R_BRACK@[203; 204) "]"
           WHITESPACE@[204; 205) " "
           PARAM@[205; 211)
             PLACEHOLDER_PAT@[205; 206)
@@ -216,10 +228,12 @@ SOURCE_FILE@[0; 519)
           ATTR@[213; 221)
             POUND@[213; 214) "#"
             WHITESPACE@[214; 215) " "
-            TOKEN_TREE@[215; 221)
-              L_BRACK@[215; 216) "["
-              IDENT@[216; 220) "attr"
-              R_BRACK@[220; 221) "]"
+            L_BRACK@[215; 216) "["
+            PATH@[216; 220)
+              PATH_SEGMENT@[216; 220)
+                NAME_REF@[216; 220)
+                  IDENT@[216; 220) "attr"
+            R_BRACK@[220; 221) "]"
           WHITESPACE@[221; 222) " "
           PARAM@[222; 232)
             BIND_PAT@[222; 227)
@@ -260,10 +274,12 @@ SOURCE_FILE@[0; 519)
           L_PAREN@[256; 257) "("
           ATTR@[257; 268)
             POUND@[257; 258) "#"
-            TOKEN_TREE@[258; 268)
-              L_BRACK@[258; 259) "["
-              IDENT@[259; 267) "must_use"
-              R_BRACK@[267; 268) "]"
+            L_BRACK@[258; 259) "["
+            PATH@[259; 267)
+              PATH_SEGMENT@[259; 267)
+                NAME_REF@[259; 267)
+                  IDENT@[259; 267) "must_use"
+            R_BRACK@[267; 268) "]"
           WHITESPACE@[268; 269) " "
           SELF_PARAM@[269; 273)
             SELF_KW@[269; 273) "self"
@@ -283,10 +299,12 @@ SOURCE_FILE@[0; 519)
           L_PAREN@[288; 289) "("
           ATTR@[289; 296)
             POUND@[289; 290) "#"
-            TOKEN_TREE@[290; 296)
-              L_BRACK@[290; 291) "["
-              IDENT@[291; 295) "attr"
-              R_BRACK@[295; 296) "]"
+            L_BRACK@[290; 291) "["
+            PATH@[291; 295)
+              PATH_SEGMENT@[291; 295)
+                NAME_REF@[291; 295)
+                  IDENT@[291; 295) "attr"
+            R_BRACK@[295; 296) "]"
           WHITESPACE@[296; 297) " "
           SELF_PARAM@[297; 301)
             SELF_KW@[297; 301) "self"
@@ -306,10 +324,12 @@ SOURCE_FILE@[0; 519)
           L_PAREN@[316; 317) "("
           ATTR@[317; 324)
             POUND@[317; 318) "#"
-            TOKEN_TREE@[318; 324)
-              L_BRACK@[318; 319) "["
-              IDENT@[319; 323) "attr"
-              R_BRACK@[323; 324) "]"
+            L_BRACK@[318; 319) "["
+            PATH@[319; 323)
+              PATH_SEGMENT@[319; 323)
+                NAME_REF@[319; 323)
+                  IDENT@[319; 323) "attr"
+            R_BRACK@[323; 324) "]"
           WHITESPACE@[324; 325) " "
           SELF_PARAM@[325; 330)
             AMP@[325; 326) "&"
@@ -335,10 +355,12 @@ SOURCE_FILE@[0; 519)
           L_PAREN@[349; 350) "("
           ATTR@[350; 357)
             POUND@[350; 351) "#"
-            TOKEN_TREE@[351; 357)
-              L_BRACK@[351; 352) "["
-              IDENT@[352; 356) "attr"
-              R_BRACK@[356; 357) "]"
+            L_BRACK@[351; 352) "["
+            PATH@[352; 356)
+              PATH_SEGMENT@[352; 356)
+                NAME_REF@[352; 356)
+                  IDENT@[352; 356) "attr"
+            R_BRACK@[356; 357) "]"
           WHITESPACE@[357; 358) " "
           SELF_PARAM@[358; 367)
             AMP@[358; 359) "&"
@@ -366,10 +388,12 @@ SOURCE_FILE@[0; 519)
           L_PAREN@[386; 387) "("
           ATTR@[387; 394)
             POUND@[387; 388) "#"
-            TOKEN_TREE@[388; 394)
-              L_BRACK@[388; 389) "["
-              IDENT@[389; 393) "attr"
-              R_BRACK@[393; 394) "]"
+            L_BRACK@[388; 389) "["
+            PATH@[389; 393)
+              PATH_SEGMENT@[389; 393)
+                NAME_REF@[389; 393)
+                  IDENT@[389; 393) "attr"
+            R_BRACK@[393; 394) "]"
           WHITESPACE@[394; 395) " "
           SELF_PARAM@[395; 403)
             AMP@[395; 396) "&"
@@ -397,10 +421,12 @@ SOURCE_FILE@[0; 519)
           L_PAREN@[422; 423) "("
           ATTR@[423; 430)
             POUND@[423; 424) "#"
-            TOKEN_TREE@[424; 430)
-              L_BRACK@[424; 425) "["
-              IDENT@[425; 429) "attr"
-              R_BRACK@[429; 430) "]"
+            L_BRACK@[424; 425) "["
+            PATH@[425; 429)
+              PATH_SEGMENT@[425; 429)
+                NAME_REF@[425; 429)
+                  IDENT@[425; 429) "attr"
+            R_BRACK@[429; 430) "]"
           WHITESPACE@[430; 431) " "
           SELF_PARAM@[431; 443)
             AMP@[431; 432) "&"
@@ -425,10 +451,12 @@ SOURCE_FILE@[0; 519)
           L_PAREN@[457; 458) "("
           ATTR@[458; 465)
             POUND@[458; 459) "#"
-            TOKEN_TREE@[459; 465)
-              L_BRACK@[459; 460) "["
-              IDENT@[460; 464) "attr"
-              R_BRACK@[464; 465) "]"
+            L_BRACK@[459; 460) "["
+            PATH@[460; 464)
+              PATH_SEGMENT@[460; 464)
+                NAME_REF@[460; 464)
+                  IDENT@[460; 464) "attr"
+            R_BRACK@[464; 465) "]"
           WHITESPACE@[465; 466) " "
           SELF_PARAM@[466; 476)
             SELF_KW@[466; 470) "self"
@@ -455,10 +483,12 @@ SOURCE_FILE@[0; 519)
           L_PAREN@[490; 491) "("
           ATTR@[491; 498)
             POUND@[491; 492) "#"
-            TOKEN_TREE@[492; 498)
-              L_BRACK@[492; 493) "["
-              IDENT@[493; 497) "attr"
-              R_BRACK@[497; 498) "]"
+            L_BRACK@[492; 493) "["
+            PATH@[493; 497)
+              PATH_SEGMENT@[493; 497)
+                NAME_REF@[493; 497)
+                  IDENT@[493; 497) "attr"
+            R_BRACK@[497; 498) "]"
           WHITESPACE@[498; 499) " "
           SELF_PARAM@[499; 513)
             SELF_KW@[499; 503) "self"
diff --git a/crates/ra_syntax/test_data/parser/ok/0053_outer_attribute_on_macro_rules.txt b/crates/ra_syntax/test_data/parser/ok/0053_outer_attribute_on_macro_rules.txt
index f77221f76..04ff0e2ff 100644
--- a/crates/ra_syntax/test_data/parser/ok/0053_outer_attribute_on_macro_rules.txt
+++ b/crates/ra_syntax/test_data/parser/ok/0053_outer_attribute_on_macro_rules.txt
@@ -4,10 +4,12 @@ SOURCE_FILE@[0; 65)
     WHITESPACE@[13; 14) "\n"
     ATTR@[14; 29)
       POUND@[14; 15) "#"
-      TOKEN_TREE@[15; 29)
-        L_BRACK@[15; 16) "["
-        IDENT@[16; 28) "macro_export"
-        R_BRACK@[28; 29) "]"
+      L_BRACK@[15; 16) "["
+      PATH@[16; 28)
+        PATH_SEGMENT@[16; 28)
+          NAME_REF@[16; 28)
+            IDENT@[16; 28) "macro_export"
+      R_BRACK@[28; 29) "]"
     WHITESPACE@[29; 30) "\n"
     PATH@[30; 41)
       PATH_SEGMENT@[30; 41)
diff --git a/crates/ra_syntax/test_data/parser/ok/0058_unary_expr_precedence.rs b/crates/ra_syntax/test_data/parser/ok/0058_unary_expr_precedence.rs
new file mode 100644
index 000000000..100fccc64
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/ok/0058_unary_expr_precedence.rs
@@ -0,0 +1,7 @@
+fn foo() {
+    1 + *&2 + 3;
+    *&1 as u64;
+    *x(1);
+    &x[1];
+    -1..2;
+}
diff --git a/crates/ra_syntax/test_data/parser/ok/0058_unary_expr_precedence.txt b/crates/ra_syntax/test_data/parser/ok/0058_unary_expr_precedence.txt
new file mode 100644
index 000000000..d30cb63ff
--- /dev/null
+++ b/crates/ra_syntax/test_data/parser/ok/0058_unary_expr_precedence.txt
@@ -0,0 +1,97 @@
+SOURCE_FILE@[0; 79)
+  FN_DEF@[0; 78)
+    FN_KW@[0; 2) "fn"
+    WHITESPACE@[2; 3) " "
+    NAME@[3; 6)
+      IDENT@[3; 6) "foo"
+    PARAM_LIST@[6; 8)
+      L_PAREN@[6; 7) "("
+      R_PAREN@[7; 8) ")"
+    WHITESPACE@[8; 9) " "
+    BLOCK_EXPR@[9; 78)
+      BLOCK@[9; 78)
+        L_CURLY@[9; 10) "{"
+        WHITESPACE@[10; 15) "\n    "
+        EXPR_STMT@[15; 27)
+          BIN_EXPR@[15; 26)
+            BIN_EXPR@[15; 22)
+              LITERAL@[15; 16)
+                INT_NUMBER@[15; 16) "1"
+              WHITESPACE@[16; 17) " "
+              PLUS@[17; 18) "+"
+              WHITESPACE@[18; 19) " "
+              PREFIX_EXPR@[19; 22)
+                STAR@[19; 20) "*"
+                REF_EXPR@[20; 22)
+                  AMP@[20; 21) "&"
+                  LITERAL@[21; 22)
+                    INT_NUMBER@[21; 22) "2"
+            WHITESPACE@[22; 23) " "
+            PLUS@[23; 24) "+"
+            WHITESPACE@[24; 25) " "
+            LITERAL@[25; 26)
+              INT_NUMBER@[25; 26) "3"
+          SEMI@[26; 27) ";"
+        WHITESPACE@[27; 32) "\n    "
+        EXPR_STMT@[32; 43)
+          CAST_EXPR@[32; 42)
+            PREFIX_EXPR@[32; 35)
+              STAR@[32; 33) "*"
+              REF_EXPR@[33; 35)
+                AMP@[33; 34) "&"
+                LITERAL@[34; 35)
+                  INT_NUMBER@[34; 35) "1"
+            WHITESPACE@[35; 36) " "
+            AS_KW@[36; 38) "as"
+            WHITESPACE@[38; 39) " "
+            PATH_TYPE@[39; 42)
+              PATH@[39; 42)
+                PATH_SEGMENT@[39; 42)
+                  NAME_REF@[39; 42)
+                    IDENT@[39; 42) "u64"
+          SEMI@[42; 43) ";"
+        WHITESPACE@[43; 48) "\n    "
+        EXPR_STMT@[48; 54)
+          PREFIX_EXPR@[48; 53)
+            STAR@[48; 49) "*"
+            CALL_EXPR@[49; 53)
+              PATH_EXPR@[49; 50)
+                PATH@[49; 50)
+                  PATH_SEGMENT@[49; 50)
+                    NAME_REF@[49; 50)
+                      IDENT@[49; 50) "x"
+              ARG_LIST@[50; 53)
+                L_PAREN@[50; 51) "("
+                LITERAL@[51; 52)
+                  INT_NUMBER@[51; 52) "1"
+                R_PAREN@[52; 53) ")"
+          SEMI@[53; 54) ";"
+        WHITESPACE@[54; 59) "\n    "
+        EXPR_STMT@[59; 65)
+          REF_EXPR@[59; 64)
+            AMP@[59; 60) "&"
+            INDEX_EXPR@[60; 64)
+              PATH_EXPR@[60; 61)
+                PATH@[60; 61)
+                  PATH_SEGMENT@[60; 61)
+                    NAME_REF@[60; 61)
+                      IDENT@[60; 61) "x"
+              L_BRACK@[61; 62) "["
+              LITERAL@[62; 63)
+                INT_NUMBER@[62; 63) "1"
+              R_BRACK@[63; 64) "]"
+          SEMI@[64; 65) ";"
+        WHITESPACE@[65; 70) "\n    "
+        EXPR_STMT@[70; 76)
+          RANGE_EXPR@[70; 75)
+            PREFIX_EXPR@[70; 72)
+              MINUS@[70; 71) "-"
+              LITERAL@[71; 72)
+                INT_NUMBER@[71; 72) "1"
+            DOTDOT@[72; 74) ".."
+            LITERAL@[74; 75)
+              INT_NUMBER@[74; 75) "2"
+          SEMI@[75; 76) ";"
+        WHITESPACE@[76; 77) "\n"
+        R_CURLY@[77; 78) "}"
+  WHITESPACE@[78; 79) "\n"