X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=src%2Flibrustc_resolve%2Flate.rs;h=8d11c7224c7044b9e1432004b96097373728c88c;hb=c5bb2ec0dd1f6f38117ec0e7e22c077a4b74dc09;hp=24d6331bbd37d757b0a952bddf87d54a46d8c0c3;hpb=e4d5f0596da62e9a14583d205027b69821dfc751;p=rust.git diff --git a/src/librustc_resolve/late.rs b/src/librustc_resolve/late.rs index 24d6331bbd3..8d11c7224c7 100644 --- a/src/librustc_resolve/late.rs +++ b/src/librustc_resolve/late.rs @@ -732,7 +732,6 @@ fn resolve_item(&mut self, item: &Item) { match item.kind { ItemKind::TyAlias(_, ref generics) | - ItemKind::OpaqueTy(_, ref generics) | ItemKind::Fn(_, ref generics, _) => { self.with_generic_param_rib(generics, ItemRibKind(HasGenericParams::Yes), |this| visit::walk_item(this, item)); @@ -1087,18 +1086,6 @@ fn resolve_implementation(&mut self, this.visit_ty(ty); } - ImplItemKind::OpaqueTy(ref bounds) => { - // If this is a trait impl, ensure the type - // exists in trait - this.check_trait_item(impl_item.ident, - TypeNS, - impl_item.span, - |n, s| TypeNotMemberOfTrait(n, s)); - - for bound in bounds { - this.visit_param_bound(bound); - } - } ImplItemKind::Macro(_) => panic!("unexpanded macro in resolve!"), } @@ -1767,7 +1754,9 @@ fn resolve_qpath( fn with_resolved_label(&mut self, label: Option