about summary refs log tree commit diff
path: root/src/librustc_resolve
diff options
context:
space:
mode:
authorleonardo.yvens <leoyvens@gmail.com>2017-12-01 10:01:23 -0200
committerVadim Petrochenkov <vadim.petrochenkov@gmail.com>2018-01-13 18:48:00 +0300
commitf93183adb43cff4cc0972ce133ce077f8cae1656 (patch)
tree44375edf74c187abbe1cdde0c8d5b844b2b3196e /src/librustc_resolve
parent9b2f8ac29eca4a42c35ce32b13231fcc1f9a3c9d (diff)
downloadrust-f93183adb43cff4cc0972ce133ce077f8cae1656.tar.gz
rust-f93183adb43cff4cc0972ce133ce077f8cae1656.zip
Remove `impl Foo for ..` in favor of `auto trait Foo`
No longer parse it.
Remove AutoTrait variant from AST and HIR.
Remove backwards compatibility lint.
Remove coherence checks, they make no sense for the new syntax.
Remove from rustdoc.
Diffstat (limited to 'src/librustc_resolve')
-rw-r--r--src/librustc_resolve/build_reduced_graph.rs2
-rw-r--r--src/librustc_resolve/lib.rs6
2 files changed, 1 insertions, 7 deletions
diff --git a/src/librustc_resolve/build_reduced_graph.rs b/src/librustc_resolve/build_reduced_graph.rs
index 50efd89f6fe..10bd72ac4a0 100644
--- a/src/librustc_resolve/build_reduced_graph.rs
+++ b/src/librustc_resolve/build_reduced_graph.rs
@@ -400,7 +400,7 @@ impl<'a> Resolver<'a> {
                 self.insert_field_names(item_def_id, field_names);
             }
 
-            ItemKind::AutoImpl(..) | ItemKind::Impl(..) => {}
+            ItemKind::Impl(..) => {}
 
             ItemKind::Trait(..) => {
                 let def_id = self.definitions.local_def_id(item.id);
diff --git a/src/librustc_resolve/lib.rs b/src/librustc_resolve/lib.rs
index fd980801213..0a29441cef7 100644
--- a/src/librustc_resolve/lib.rs
+++ b/src/librustc_resolve/lib.rs
@@ -1902,12 +1902,6 @@ impl<'a> Resolver<'a> {
                                              |this| visit::walk_item(this, item));
             }
 
-            ItemKind::AutoImpl(_, ref trait_ref) => {
-                self.with_optional_trait_ref(Some(trait_ref), |this, _| {
-                    // Resolve type arguments in trait path
-                    visit::walk_trait_ref(this, trait_ref);
-                });
-            }
             ItemKind::Impl(.., ref generics, ref opt_trait_ref, ref self_type, ref impl_items) =>
                 self.resolve_implementation(generics,
                                             opt_trait_ref,