summaryrefslogblamecommitdiff
path: root/test/files/run/existentials3-new.check
blob: 7f02866a2936127ad14397bd0ecec8486f915571 (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=<refinement of Test.ToS>
Test.ToS, t=RefinedType, s=<refinement of Test.ToS>
Test.ToS, t=RefinedType, s=<refinement of Test.ToS>
() => 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=<refinement of Test.ToS>
Test.ToS, t=RefinedType, s=<refinement of Test.ToS>
Test.ToS, t=RefinedType, s=<refinement of Test.ToS>
() => 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