summaryrefslogblamecommitdiff
path: root/test/files/run/existentials3-new.check
blob: c0233d226747f44a6e2ae8a43fb342d1eedd3856 (plain) (tree)
1
2
3
4
5
6
7
8
9




                                    

                                            

                              
                                                 



                                                               


                              

                                            

                              
                                                 

                                                               
Bar.type, t=TypeRef, s=type Bar.type
Bar, t=TypeRef, s=type Bar
Test.ToS, t=RefinedType, s=f3
Test.ToS, t=RefinedType, s=f4
Test.ToS, t=RefinedType, s=f5
() => Test.ToS, t=TypeRef, s=trait Function0
() => Test.ToS, t=TypeRef, s=trait Function0
$anon, t=TypeRef, s=type $anon
$anon, t=TypeRef, s=type $anon
List[AnyRef{type T1}#T1], t=TypeRef, s=class List
List[Seq[Int]], t=TypeRef, s=class List
List[Seq[U forSome { type U <: Int }]], t=TypeRef, s=class List
Bar.type, t=TypeRef, s=type Bar.type
Bar, t=TypeRef, s=type Bar
Test.ToS, t=RefinedType, s=g3 
Test.ToS, t=RefinedType, s=g4 
Test.ToS, t=RefinedType, s=g5 
() => Test.ToS, t=TypeRef, s=trait Function0
() => Test.ToS, t=TypeRef, s=trait Function0
$anon, t=TypeRef, s=type $anon
$anon, t=TypeRef, s=type $anon
List[AnyRef{type T1}#T1], t=TypeRef, s=class List
List[Seq[Int]], t=TypeRef, s=class List
List[Seq[U forSome { type U <: Int }]], t=TypeRef, s=class List