members_transitive_compiler_protocols.swift

// RUN: %empty-directory(%t)
// RUN: split-file %s %t

// RUN: %target-swift-frontend -emit-module -o %t %t/lib.swift
// RUN: %target-swift-frontend -typecheck -primary-file %t/main.swift %t/other.swift -I %t -verify -enable-upcoming-feature MemberImportVisibility

// REQUIRES: swift_feature_MemberImportVisibility

//--- main.swift

import Swift
// expected-note 15 {{add import of module 'lib'}}

for_inmakeSequence(){}
// expected-error@-1 {{instance method 'makeIterator()' is not available due to missing import of defining module 'lib'}}
// expected-error@-2 {{instance method 'next()' is not available due to missing import of defining module 'lib'}}

takesNilExpressible(nil)
// expected-error@-1 {{initializer 'init(nilLiteral:)' is not available due to missing import of defining module 'lib'}}

takesIntExpressible(1)
// expected-error@-1 {{initializer 'init(integerLiteral:)' is not available due to missing import of defining module 'lib'}}

takesFloatExpressible(1.0)
// expected-error@-1 {{initializer 'init(floatLiteral:)' is not available due to missing import of defining module 'lib'}}

takesBoolExpressible(true)
// expected-error@-1 {{initializer 'init(booleanLiteral:)' is not available due to missing import of defining module 'lib'}}

takesUnicodeScalarExpressible("🐦")
// expected-error@-1 {{initializer 'init(unicodeScalarLiteral:)' is not available due to missing import of defining module 'lib'}}

takesExtendedGraphemeClusterExpressible("🦸🏾‍♀️")
// expected-error@-1 {{initializer 'init(extendedGraphemeClusterLiteral:)' is not available due to missing import of defining module 'lib'}}

takesStringLiteralExpressible("Hello world")
// expected-error@-1 {{initializer 'init(stringLiteral:)' is not available due to missing import of defining module 'lib'}}

takesArrayExpressible([1])
// expected-error@-1 {{initializer 'init(arrayLiteral:)' is not available due to missing import of defining module 'lib'}}

takesDictionaryExpressible(["one":1])
// expected-error@-1 {{initializer 'init(dictionaryLiteral:)' is not available due to missing import of defining module 'lib'}}

takesMessage("\(1)")
// expected-error@-1 {{initializer 'init(stringInterpolation:)' is not available due to missing import of defining module 'lib'}}
// expected-error@-2 {{instance method 'appendInterpolation' is not available due to missing import of defining module 'lib'}}
// expected-error@-3 2 {{instance method 'appendLiteral' is not available due to missing import of defining module 'lib'}}

takesColorExpressible(#colorLiteral(red:0.0, green:0.0, blue:0.0, alpha:1))
// FIXME: Missing diangostic

takesImageExpressible(#imageLiteral(resourceName:"image.png"))
// FIXME: Missing diangostic

takesFileReferenceExpressible(#fileLiteral(resourceName:"file.txt"))
// FIXME: Missing diangostic

//--- other.swift

import lib

func makeSequence()->EmptySequence{
returnMySequence()
}

func takesNilExpressible(_ x:NilExpressible){}
func takesIntExpressible(_ x:IntExpressible){}
func takesFloatExpressible(_ x:FloatExpressible){}
func takesBoolExpressible(_ x:BoolExpressible){}
func takesUnicodeScalarExpressible(_ x:UnicodeScalarExpressible){}
func takesExtendedGraphemeClusterExpressible(_ x:ExtendedGraphemeClusterExpressible){}
func takesStringLiteralExpressible(_ x:StringExpressible){}
func takesArrayExpressible<E>(_ x:ArrayExpressible<E>){}
func takesDictionaryExpressible<K, V>(_ x:DictionaryExpressible<K,V>){}
func takesMessage(_ x:Message){}
func takesColorExpressible(_ x:ColorExpressible){}
func takesImageExpressible(_ x:ImageExpressible){}
func takesFileReferenceExpressible(_ x:FileReferenceExpressible){}

//--- lib.swift

publicstructEmptySequence:Sequence{
publicstructIterator:IteratorProtocol{
publicmutatingfunc next()->Int?{nil}
}

publicfunc makeIterator()->Iterator{Iterator()}
publicinit(){}
}

publicstructNilExpressible:ExpressibleByNilLiteral{
publicinit(nilLiteral:()){}
}

publicstructIntExpressible:ExpressibleByIntegerLiteral{
publicinit(integerLiteral value:Int){}
}

publicstructFloatExpressible:ExpressibleByFloatLiteral{
publicinit(floatLiteral value:Float){}
}

publicstructBoolExpressible:ExpressibleByBooleanLiteral{
publicinit(booleanLiteral value:Bool){}
}

publicstructUnicodeScalarExpressible:ExpressibleByUnicodeScalarLiteral{
publicinit(unicodeScalarLiteral value:Unicode.Scalar){}
}

publicstructExtendedGraphemeClusterExpressible:ExpressibleByExtendedGraphemeClusterLiteral{
publicinit(extendedGraphemeClusterLiteral value:Character){}
}

publicstructStringExpressible:ExpressibleByStringLiteral{
publicinit(stringLiteral value:String){}
}

publicstructArrayExpressible<Element>:ExpressibleByArrayLiteral{
publicinit(arrayLiteral elements:Element...){}
}

publicstructDictionaryExpressible<Key, Value>:ExpressibleByDictionaryLiteral{
publicinit(dictionaryLiteral elements:(Key,Value)...){}
}

publicstructMessageInterpolation:StringInterpolationProtocol{
publicinit(literalCapacity:Int, interpolationCount:Int){}
publicmutatingfunc appendInterpolation(_ value:@autoclosure()->Int){}
publicmutatingfunc appendLiteral(_ literal:String){}
}

publicstructMessage:ExpressibleByStringInterpolation{
publicinit(stringInterpolation:MessageInterpolation){}
publicinit(stringLiteral:String){}
}

publicstructColorExpressible:_ExpressibleByColorLiteral{
publicinit(_colorLiteralRed red:Float, green:Float, blue:Float, alpha:Float){}
}

publicstructImageExpressible:_ExpressibleByImageLiteral{
publicinit(imageLiteralResourceName path:String){}
}

publicstructFileReferenceExpressible:_ExpressibleByFileReferenceLiteral{
publicinit(fileReferenceLiteralResourceName path:String){}
}