Skip to content

Commit 6bc59a6

Browse files
committed
fix test
1 parent 706f32b commit 6bc59a6

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

test/decl/protocol/existential_member_accesses_self_assoctype.swift

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -914,16 +914,16 @@ do {
914914
let _: Any = exist.method1()
915915
let _: AnyObject = exist.method2()
916916
let _: any CovariantAssocTypeErasure = exist.method3()
917-
let _: Class2Base = exist.method4() // expected-error {{unexpected error produced: inferred result type 'Class2Base' requires explicit coercion due to loss of generic requirements}}
918-
let _: Class2Base = exist.method5() // expected-error {{unexpected error produced: inferred result type 'Class2Derived<any CovariantAssocTypeErasure>' requires explicit coercion due to loss of generic requirements}}
917+
let _: Class2Base = exist.method4() // expected-error {{inferred result type 'Class2Base' requires explicit coercion due to loss of generic requirements}}
918+
let _: Class2Base = exist.method5() // expected-error {{inferred result type 'Class2Derived<any CovariantAssocTypeErasure>' requires explicit coercion due to loss of generic requirements}}
919919
let _: any Class2Base & CovariantAssocTypeErasure = exist.method6()
920920
let _: any Class2Base & CovariantAssocTypeErasure = exist.method7()
921921

922-
let _: Any? = exist.method8()
922+
let _: Any? = exist.method8() // expected-error {{inferred result type 'Optional<Any>' requires explicit coercion due to loss of generic requirements}}
923923
let _: (AnyObject, Bool) = exist.method9()
924924
let _: any CovariantAssocTypeErasure.Type = exist.method10()
925-
let _: Array<Class2Base> = exist.method11() // expected-error {{unexpected error produced: inferred result type 'Array<Class2Base>' requires explicit coercion due to loss of generic requirements}}
926-
let _: Dictionary<String, Class2Base> = exist.method12() //expected-error {{unexpected error produced: inferred result type 'Dictionary<String, Class2Derived<any CovariantAssocTypeErasure>>' requires explicit coercion due to loss of generic requirements}}
925+
let _: Array<Class2Base> = exist.method11() // expected-error {{inferred result type 'Array<Class2Base>' requires explicit coercion due to loss of generic requirements}}
926+
let _: Dictionary<String, Class2Base> = exist.method12() //expected-error {{inferred result type 'Dictionary<String, Class2Derived<any CovariantAssocTypeErasure>>' requires explicit coercion due to loss of generic requirements}}
927927
}
928928
do {
929929
let exist: any CovariantAssocTypeErasureDerived

0 commit comments

Comments
 (0)