Test that @_implements() diagnoses module selector

Author: beccadax

lib/Parse/ParseDecl.cpp

@@ -836,7 +836,7 @@ Parser::parseImplementsAttribute(SourceLoc AtLoc, SourceLoc Loc) {
     return Status;
   }
 
-  // FIXME(ModQual): Reject module qualification on MemberName.
+  assert(MemberName.getModuleSelector().empty());
   auto *TE = new (Context) TypeExpr(ProtocolType.get());
   return ParserResult<ImplementsAttr>(
     ImplementsAttr::create(Context, AtLoc, SourceRange(Loc, rParenLoc),

test/NameLookup/module_selector.swift

@@ -470,3 +470,8 @@ func badModuleNames() {
   let y: A.NonexistentModule::MyChildType = fatalError()
   // expected-error@-1 {{'NonexistentModule::MyChildType' is not a member type of struct 'ModuleSelectorTestingKit.A'}}
 }
+public struct BadImplementsAttr: CustomStringConvertible {
+  @_implements(CustomStringConvertible, Swift::description)
+  // expected-error@-1 {{name cannot be qualified with module selector here}} {{41-48=}}
+  public var stringValue: String { fatalError() }
+}